From ce588b52c8aedc38302946f496e4968de4e17cb0 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 22 Jun 2026 16:03:33 +0000 Subject: [PATCH] Bump actions/checkout from 4 to 7 Bumps [actions/checkout](https://github.com/actions/checkout) from 4 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/v4...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/doc.yml | 4 ++-- .github/workflows/workflow.yml | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 9d01fad3f..e1e75f455 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -30,7 +30,7 @@ jobs: contents: write steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v7 - name: Set up OCaml uses: ocaml/setup-ocaml@v3 @@ -81,7 +81,7 @@ jobs: opam install wodoc - name: Checkout gh-pages - uses: actions/checkout@v4 + uses: actions/checkout@v7 with: ref: gh-pages path: site diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index bf026392d..c97759b52 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -33,7 +33,7 @@ jobs: steps: - name: Checkout tree - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Set-up OCaml uses: ocaml/setup-ocaml@v3 @@ -50,7 +50,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout tree - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Set-up OCaml uses: ocaml/setup-ocaml@v3 with: