From 3c0ad9282f3e7dccf2f5b3c438c3a5c130df73ff Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 26 Sep 2023 10:43:10 +0000 Subject: [PATCH] Bump actions/checkout from 3 to 4 Bumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions/checkout/compare/v3...v4) --- updated-dependencies: - dependency-name: actions/checkout dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/coq.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml index d22009e5b0..3533783183 100644 --- a/.github/workflows/coq.yml +++ b/.github/workflows/coq.yml @@ -27,7 +27,7 @@ jobs: cancel-in-progress: true steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - name: echo build params run: | echo "::group::lscpu" @@ -139,7 +139,7 @@ jobs: steps: - name: checkout repo (only required because of deploy step) # https://github.com/JamesIves/github-pages-deploy-action/issues/335 - uses: actions/checkout@v3 + uses: actions/checkout@v4 - name: Download a Build Artifact uses: actions/download-artifact@v3 with: @@ -161,7 +161,7 @@ jobs: steps: - name: checkout repo (only required because of deploy step) # https://github.com/JamesIves/github-pages-deploy-action/issues/335 - uses: actions/checkout@v3 + uses: actions/checkout@v4 - name: Install SSH Client 🔑 uses: webfactory/ssh-agent@v0.7.0 with: