From c83e402f186f45afce3185a28dcb29dd0b0ba264 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 24 Nov 2025 01:24:11 +0000 Subject: [PATCH] Bump actions/checkout from 5 to 6 Bumps [actions/checkout](https://github.com/actions/checkout) from 5 to 6. - [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/v5...v6) --- updated-dependencies: - dependency-name: actions/checkout dependency-version: '6' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/main.yml | 8 ++++---- .github/workflows/pre-commit.yml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 9ef78fb..2369be7 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -21,7 +21,7 @@ jobs: steps: - name: Checkout tree - uses: actions/checkout@v5 + uses: actions/checkout@v6 - name: Set-up OCaml uses: ocaml/setup-ocaml@v3 @@ -38,7 +38,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout tree - uses: actions/checkout@v5 + uses: actions/checkout@v6 - name: Set-up OCaml uses: ocaml/setup-ocaml@v3 with: @@ -49,7 +49,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout tree - uses: actions/checkout@v5 + uses: actions/checkout@v6 - name: Set-up OCaml uses: ocaml/setup-ocaml@v3 with: @@ -60,7 +60,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout tree - uses: actions/checkout@v5 + uses: actions/checkout@v6 - name: Set-up OCaml uses: ocaml/setup-ocaml@v3 with: diff --git a/.github/workflows/pre-commit.yml b/.github/workflows/pre-commit.yml index 4f51dd3..8eab81c 100644 --- a/.github/workflows/pre-commit.yml +++ b/.github/workflows/pre-commit.yml @@ -16,7 +16,7 @@ jobs: steps: # Get the code - name: Checkout - uses: actions/checkout@v5 + uses: actions/checkout@v6 # Set up Python with built-in pip caching - name: Set up Python