From 6fe84c222e65fe49d88bbd606474155f0a186c1c Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 11 Sep 2023 21:43:59 +0000 Subject: [PATCH] build(deps): 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 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml index 4f2822a0..ecd01ae8 100644 --- a/.github/workflows/coq.yml +++ b/.github/workflows/coq.yml @@ -57,7 +57,7 @@ jobs: echo "::group::echo | coqtop" echo | coqtop echo "::endgroup::" - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - name: submodules-init run: git submodule update --init --recursive - name: make dependencies