From cfa32dee24d9c3cfdddd5b1b3ecc1441a73e282e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Antonin=20D=C3=A9cimo?= Date: Tue, 18 Apr 2023 13:01:13 +0200 Subject: [PATCH] gha: update to checkout@v3 --- .github/workflows/changelog_check.yml | 2 +- .github/workflows/scripts.yml | 2 +- master_changes.md | 1 + 3 files changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/changelog_check.yml b/.github/workflows/changelog_check.yml index d507209062a..f1a657a839f 100644 --- 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 index fda4c7a7ed6..3c5190c2260 100644 --- 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 index 04cb22d7509..37b7c54f3a4 100644 --- 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]