From 21388371e12ab52f36aeb411122da4e227904780 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 19 Jun 2026 04:02:59 +0000 Subject: [PATCH] Bump actions/checkout from 6 to 7 Bumps [actions/checkout](https://github.com/actions/checkout) from 6 to 7. - [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/v6...v7) --- updated-dependencies: - dependency-name: actions/checkout dependency-version: '7' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/alpine.yml | 2 +- .github/workflows/coq-docker.yml | 2 +- .github/workflows/debian.yml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/alpine.yml b/.github/workflows/alpine.yml index be01cad3d..07c16c252 100644 --- a/.github/workflows/alpine.yml +++ b/.github/workflows/alpine.yml @@ -28,7 +28,7 @@ jobs: cancel-in-progress: true steps: - - uses: actions/checkout@v6 + - uses: actions/checkout@v7 with: submodules: recursive - uses: jirutka/setup-alpine@v1 diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml index d127b6e27..2d5bf4d8c 100644 --- a/.github/workflows/coq-docker.yml +++ b/.github/workflows/coq-docker.yml @@ -28,7 +28,7 @@ jobs: cancel-in-progress: true steps: - - uses: actions/checkout@v6 + - uses: actions/checkout@v7 with: submodules: recursive - name: all diff --git a/.github/workflows/debian.yml b/.github/workflows/debian.yml index c54947103..25f4cb54c 100644 --- a/.github/workflows/debian.yml +++ b/.github/workflows/debian.yml @@ -31,7 +31,7 @@ jobs: cancel-in-progress: true steps: - - uses: actions/checkout@v6 + - uses: actions/checkout@v7 with: submodules: recursive - name: setup debian