Merge pull request #5515 from MisterDA/gha-checkout-v3

gha: update to checkout@v3
ocaml · Apr 18, 2023 · fd29dc4 · fd29dc4
2 parents f0a8f46 + cfa32de
commit fd29dc4
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/.github/workflows/changelog_check.yml b/.github/workflows/changelog_check.yml
@@ -8,5 +8,5 @@ jobs:
   diff:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v3
     - run: bash .github/scripts/changelog/checker.sh
diff --git a/.github/workflows/scripts.yml b/.github/workflows/scripts.yml
@@ -16,7 +16,7 @@ jobs:
   hygiene-scripts:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v3
     - name: Check scripts
       env:
         # Defined only on pull request jobs

diff --git a/master_changes.md b/master_changes.md
@@ -297,6 +297,7 @@ users)
   * Workaround brew problem on macOS GHA runner testing Z3 [#5405 @dra27]
   * Adopt the OCaml Code of Conduct [#5419 @dra27]
   * Use (implicit_transitive_deps false) in CI [#4771 @dra27]
+  * gha: update to checkout@v3 [#5515 @MisterDA]
 
 ## Release scripts
   * Make the release script setup-less using QEMU, Docker and Rosetta 2 [#4947 @kit-ty-kate]