Merge tag '2023.11.1' into merge-upstream

2023-11-17 20:13:05 +09:00
parent 4d6a6c4534 9784d10c62
commit 455c7eb653
82 changed files with 2873 additions and 1843 deletions
--- a/.github/workflows/report-api-diff.yml
+++ b/.github/workflows/report-api-diff.yml
@@ -16,7 +16,7 @@ jobs:
 # api-artifact
    steps:
      - name: Download artifact
-        uses: actions/github-script@v6
+        uses: actions/github-script@v7
        with:
          script: |
            let allArtifacts = await github.rest.actions.listWorkflowRunArtifacts({