chore: CI: update github-script (#3002)

leanprover · Dec 1, 2023 · 5937f42 · 5937f42
1 parent ea5b55b
commit 5937f42
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -49,7 +49,7 @@ jobs:
 
       - name: Configure build matrix
         id: set-matrix
-        uses: actions/github-script@v3
+        uses: actions/github-script@v7
         with:
           script: |
             const quick = ${{ steps.set-quick.outputs.quick }};
@@ -433,7 +433,7 @@ jobs:
     if: ${{ always() }}
     steps:
     - if: contains(needs.*.result, 'failure') ||  contains(needs.*.result, 'cancelled')
-      uses: actions/github-script@v3
+      uses: actions/github-script@v7
       with:
         script: |
             core.setFailed('Some jobs failed')

diff --git a/.github/workflows/labels-from-comments.yml b/.github/workflows/labels-from-comments.yml
@@ -15,7 +15,7 @@ jobs:
 
     steps:
     - name: Add label based on comment
-      uses: actions/github-script@v6
+      uses: actions/github-script@v7
       with:
         github-token: ${{ secrets.GITHUB_TOKEN }}
         script: |

diff --git a/.github/workflows/pr-title.yml b/.github/workflows/pr-title.yml
@@ -10,7 +10,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Check PR title
-        uses: actions/github-script@v6
+        uses: actions/github-script@v7
         with:
           script: |
             const msg = context.payload.pull_request? context.payload.pull_request.title : context.payload.merge_group.head_commit.message;