From 69c9a71d4d8a6229d21ab1157b2e48e9ff03e6d6 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 5 Sep 2023 11:14:12 +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 | 2 +- .github/workflows/docker-coq.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml index 659d28d8..93425045 100644 --- a/.github/workflows/coq.yml +++ b/.github/workflows/coq.yml @@ -62,7 +62,7 @@ jobs: echo "::group::echo | coqtop" echo | coqtop echo "::endgroup::" - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: submodules: recursive - name: SCRIPT diff --git a/.github/workflows/docker-coq.yml b/.github/workflows/docker-coq.yml index 8bb64708..f0ce829d 100644 --- a/.github/workflows/docker-coq.yml +++ b/.github/workflows/docker-coq.yml @@ -9,7 +9,7 @@ jobs: build: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: submodules: recursive - name: all