From 980cafdd0b367bdeec1013d8c05cf26235e07450 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 13 Mar 2026 18:19:22 +0000 Subject: [PATCH] chore(deps): bump actions/checkout from 4 to 6 Bumps [actions/checkout](https://github.com/actions/checkout) from 4 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/v4...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/benchmark.yml | 2 +- .github/workflows/bymc-parity-pr.yml | 2 +- .github/workflows/bymc-verification.yml | 4 +- .github/workflows/ci.yml | 84 +++++++++---------- .github/workflows/codeql.yml | 2 +- .github/workflows/coverage.yml | 2 +- .github/workflows/docs.yml | 2 +- .github/workflows/example-matrix-fast.yml | 2 +- .github/workflows/fuzz.yml | 2 +- .github/workflows/kernel-coq-proof.yml | 2 +- .../workflows/live-adapter-conformance.yml | 4 +- .github/workflows/mutation-testing-pr.yml | 2 +- .github/workflows/mutation-testing.yml | 2 +- .github/workflows/nightly-property-tests.yml | 2 +- .github/workflows/release-binaries.yml | 6 +- .github/workflows/release-certification.yml | 8 +- .github/workflows/release.yml | 4 +- 17 files changed, 66 insertions(+), 66 deletions(-) diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml index a81fc58..3fd3467 100644 --- a/.github/workflows/benchmark.yml +++ b/.github/workflows/benchmark.yml @@ -19,7 +19,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable diff --git a/.github/workflows/bymc-parity-pr.yml b/.github/workflows/bymc-parity-pr.yml index e9e0b8a..2744509 100644 --- a/.github/workflows/bymc-parity-pr.yml +++ b/.github/workflows/bymc-parity-pr.yml @@ -24,7 +24,7 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 45 steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable diff --git a/.github/workflows/bymc-verification.yml b/.github/workflows/bymc-verification.yml index 430e759..bd67c78 100644 --- a/.github/workflows/bymc-verification.yml +++ b/.github/workflows/bymc-verification.yml @@ -11,7 +11,7 @@ jobs: build-bymc-image: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Build ByMC Docker image run: bash benchmarks/bymc/build-docker.sh @@ -29,7 +29,7 @@ jobs: needs: build-bymc-image runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - uses: actions/download-artifact@v4 with: diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b664148..a814835 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -9,7 +9,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Generated Artifact Drift Gate run: python3 scripts/check_generated_artifact_drift.py @@ -19,7 +19,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 with: fetch-depth: 0 @@ -464,7 +464,7 @@ jobs: needs: build-test timeout-minutes: 60 steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -509,7 +509,7 @@ jobs: needs: build-test timeout-minutes: 45 steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -556,7 +556,7 @@ jobs: needs: build-test steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -608,7 +608,7 @@ jobs: env: CMAKE_POLICY_VERSION_MINIMUM: "3.5" steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Install Rust nightly toolchain uses: dtolnay/rust-toolchain@nightly @@ -642,7 +642,7 @@ jobs: matrix: feature_set: [default, governance] steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - uses: dtolnay/rust-toolchain@stable - name: Build + test CLI feature set run: | @@ -658,7 +658,7 @@ jobs: runs-on: ubuntu-latest needs: build-test steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - uses: dtolnay/rust-toolchain@stable - name: Quantitative Baseline Cross-Checks run: ./scripts/check-quantitative-baselines.sh @@ -671,7 +671,7 @@ jobs: runs-on: ubuntu-latest needs: build-test steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - uses: dtolnay/rust-toolchain@stable - name: Conformance Tests run: cargo test -p tarsier-conformance @@ -710,7 +710,7 @@ jobs: - build-test - conformance-tests steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - uses: dtolnay/rust-toolchain@stable - name: Adapter Replay Integration Tests run: cargo test -p tarsier-conformance --test adapter_replay -- --nocapture @@ -751,7 +751,7 @@ jobs: runs-on: ubuntu-latest needs: build-test steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - uses: dtolnay/rust-toolchain@stable - name: LSP Tests run: cargo test -p tarsier-lsp @@ -760,7 +760,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -775,7 +775,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -790,7 +790,7 @@ jobs: needs: build-test steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -820,7 +820,7 @@ jobs: CMAKE_POLICY_VERSION_MINIMUM: "3.5" steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -840,7 +840,7 @@ jobs: CMAKE_POLICY_VERSION_MINIMUM: "3.5" steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -857,7 +857,7 @@ jobs: CMAKE_POLICY_VERSION_MINIMUM: "3.5" steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -900,7 +900,7 @@ jobs: CMAKE_POLICY_VERSION_MINIMUM: "3.5" steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -940,7 +940,7 @@ jobs: needs: build-test steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -958,7 +958,7 @@ jobs: needs: build-test steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -981,7 +981,7 @@ jobs: needs: build-test steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -1004,7 +1004,7 @@ jobs: fairness: [weak, strong] steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -1035,7 +1035,7 @@ jobs: fairness: [weak, strong] steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -1061,7 +1061,7 @@ jobs: needs: build-test steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -1077,7 +1077,7 @@ jobs: needs: build-test steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -1096,7 +1096,7 @@ jobs: needs: build-test steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -1114,7 +1114,7 @@ jobs: needs: build-test steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -1140,7 +1140,7 @@ jobs: needs: build-test steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -1166,7 +1166,7 @@ jobs: needs: build-test steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -1195,7 +1195,7 @@ jobs: needs: build-test steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -1316,7 +1316,7 @@ jobs: engine: [kinduction, pdr] steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -1358,7 +1358,7 @@ jobs: fairness: [weak, strong] steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -1396,7 +1396,7 @@ jobs: - corpus-certification-gate steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -1457,7 +1457,7 @@ jobs: - build-test steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -1482,7 +1482,7 @@ jobs: EXPECTED_OS: "ubuntu-22.04" steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@master @@ -1533,7 +1533,7 @@ jobs: EXPECTED_OS: "ubuntu-22.04" steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@master @@ -1580,7 +1580,7 @@ jobs: EXPECTED_OS: "ubuntu-22.04" steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust (Pinned) uses: dtolnay/rust-toolchain@master @@ -1649,7 +1649,7 @@ jobs: EXPECTED_OS: "ubuntu-22.04" steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@master @@ -1724,7 +1724,7 @@ jobs: EXPECTED_OS: "ubuntu-22.04" steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@master @@ -1793,7 +1793,7 @@ jobs: needs: build-test steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -1809,7 +1809,7 @@ jobs: runs-on: ubuntu-latest needs: build-test steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - uses: dtolnay/rust-toolchain@stable - name: Install cvc5 run: | @@ -1832,7 +1832,7 @@ jobs: os: [macos-latest, windows-latest] runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - uses: dtolnay/rust-toolchain@stable with: components: clippy diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index b18a6bb..bf7d920 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -32,7 +32,7 @@ jobs: language: [python, javascript-typescript] steps: - name: Checkout repository - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Initialize CodeQL uses: github/codeql-action/init@v3 diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 6a026d8..65da8fc 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -10,7 +10,7 @@ jobs: runs-on: ubuntu-24.04 steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 67e8e52..8b59542 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -19,7 +19,7 @@ jobs: env: CMAKE_POLICY_VERSION_MINIMUM: "3.5" steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - uses: dtolnay/rust-toolchain@stable - uses: Swatinem/rust-cache@v2 - name: Build rustdoc diff --git a/.github/workflows/example-matrix-fast.yml b/.github/workflows/example-matrix-fast.yml index d4e1315..2752920 100644 --- a/.github/workflows/example-matrix-fast.yml +++ b/.github/workflows/example-matrix-fast.yml @@ -17,7 +17,7 @@ jobs: timeout-minutes: 25 steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Install Rust toolchain uses: dtolnay/rust-toolchain@stable diff --git a/.github/workflows/fuzz.yml b/.github/workflows/fuzz.yml index 44adb39..94b03fa 100644 --- a/.github/workflows/fuzz.yml +++ b/.github/workflows/fuzz.yml @@ -25,7 +25,7 @@ jobs: - fuzz_proof_kernel steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Install Rust nightly toolchain uses: dtolnay/rust-toolchain@nightly diff --git a/.github/workflows/kernel-coq-proof.yml b/.github/workflows/kernel-coq-proof.yml index fa93754..e6d6f7e 100644 --- a/.github/workflows/kernel-coq-proof.yml +++ b/.github/workflows/kernel-coq-proof.yml @@ -25,7 +25,7 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 30 steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Install Coq run: | diff --git a/.github/workflows/live-adapter-conformance.yml b/.github/workflows/live-adapter-conformance.yml index 85c991f..ba25eac 100644 --- a/.github/workflows/live-adapter-conformance.yml +++ b/.github/workflows/live-adapter-conformance.yml @@ -29,7 +29,7 @@ jobs: CMAKE_POLICY_VERSION_MINIMUM: "3.5" steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable @@ -102,7 +102,7 @@ jobs: CMAKE_POLICY_VERSION_MINIMUM: "3.5" steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable diff --git a/.github/workflows/mutation-testing-pr.yml b/.github/workflows/mutation-testing-pr.yml index 98a8702..fc45f52 100644 --- a/.github/workflows/mutation-testing-pr.yml +++ b/.github/workflows/mutation-testing-pr.yml @@ -25,7 +25,7 @@ jobs: steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable diff --git a/.github/workflows/mutation-testing.yml b/.github/workflows/mutation-testing.yml index fbd1c28..14c3523 100644 --- a/.github/workflows/mutation-testing.yml +++ b/.github/workflows/mutation-testing.yml @@ -20,7 +20,7 @@ jobs: steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable diff --git a/.github/workflows/nightly-property-tests.yml b/.github/workflows/nightly-property-tests.yml index 8a8c7bc..e2e47c9 100644 --- a/.github/workflows/nightly-property-tests.yml +++ b/.github/workflows/nightly-property-tests.yml @@ -21,7 +21,7 @@ jobs: TARSIER_PROPTEST_ARTIFACT_DIR: ${{ github.workspace }}/artifacts/property-test-failures/${{ matrix.seed }} steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust uses: dtolnay/rust-toolchain@stable diff --git a/.github/workflows/release-binaries.yml b/.github/workflows/release-binaries.yml index e901657..a889c60 100644 --- a/.github/workflows/release-binaries.yml +++ b/.github/workflows/release-binaries.yml @@ -41,7 +41,7 @@ jobs: timeout-minutes: 30 steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Setup Python uses: actions/setup-python@v5 @@ -350,7 +350,7 @@ jobs: permissions: contents: write steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 with: ref: main - name: Download release artifacts @@ -388,7 +388,7 @@ jobs: contents: read packages: write steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - name: Log in to GitHub Container Registry uses: docker/login-action@v3 diff --git a/.github/workflows/release-certification.yml b/.github/workflows/release-certification.yml index d4e9a0e..721b2b1 100644 --- a/.github/workflows/release-certification.yml +++ b/.github/workflows/release-certification.yml @@ -21,7 +21,7 @@ jobs: EXPECTED_OS: "ubuntu-22.04" steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust (Pinned) uses: dtolnay/rust-toolchain@master @@ -53,7 +53,7 @@ jobs: EXPECTED_OS: "ubuntu-22.04" steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Enforce Certification Gate Contract run: python3 ./.github/scripts/check_certification_gate_contract.py @@ -108,7 +108,7 @@ jobs: TARSIER_REQUIRE_CARCARA: "1" steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust (Pinned) uses: dtolnay/rust-toolchain@master @@ -219,7 +219,7 @@ jobs: EXPECTED_OS: "ubuntu-22.04" steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Setup Rust (Pinned) uses: dtolnay/rust-toolchain@master diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index f36565d..0888f0b 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -44,7 +44,7 @@ jobs: steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Install Rust toolchain uses: dtolnay/rust-toolchain@stable @@ -126,7 +126,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v6 with: fetch-depth: 0