chore(.github/workflows): update gh-get-current-pr (#18763)

The test that this upgrade works ok is that the awaiting-CI label is removed
leanprover-community · Apr 30, 2023 · d20a8cd · d20a8cd
1 parent 8b8ba04
commit d20a8cd
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/bors.yml b/.github/workflows/bors.yml
@@ -260,7 +260,7 @@ jobs:
       - uses: actions/checkout@v3
 
       - id: PR
-        uses: 8BitJonny/gh-get-current-pr@1.2.0
+        uses: 8BitJonny/gh-get-current-pr@2.2.0
         # TODO: this may not work properly if the same commit is pushed to multiple branches:
         # https://github.com/8BitJonny/gh-get-current-pr/issues/8
         with:

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -268,7 +268,7 @@ jobs:
       - uses: actions/checkout@v3
 
       - id: PR
-        uses: 8BitJonny/gh-get-current-pr@1.2.0
+        uses: 8BitJonny/gh-get-current-pr@2.2.0
         # TODO: this may not work properly if the same commit is pushed to multiple branches:
         # https://github.com/8BitJonny/gh-get-current-pr/issues/8
         with:

diff --git a/.github/workflows/build.yml.in b/.github/workflows/build.yml.in
@@ -246,7 +246,7 @@ jobs:
       - uses: actions/checkout@v3
 
       - id: PR
-        uses: 8BitJonny/gh-get-current-pr@1.2.0
+        uses: 8BitJonny/gh-get-current-pr@2.2.0
         # TODO: this may not work properly if the same commit is pushed to multiple branches:
         # https://github.com/8BitJonny/gh-get-current-pr/issues/8
         with:

diff --git a/.github/workflows/build_fork.yml b/.github/workflows/build_fork.yml
@@ -266,7 +266,7 @@ jobs:
       - uses: actions/checkout@v3
 
       - id: PR
-        uses: 8BitJonny/gh-get-current-pr@1.2.0
+        uses: 8BitJonny/gh-get-current-pr@2.2.0
         # TODO: this may not work properly if the same commit is pushed to multiple branches:
         # https://github.com/8BitJonny/gh-get-current-pr/issues/8
         with: