diff --git a/.github/workflows/actions.lock b/.github/workflows/actions.lock index 7754a808..03da0efe 100644 --- a/.github/workflows/actions.lock +++ b/.github/workflows/actions.lock @@ -24,7 +24,7 @@ workflows: - 'actions/upload-artifact@v7.0.2' - 'dtolnay/rust-toolchain@v1' - 'mlugg/setup-zig@v2.2.1' - - 'swatinem/rust-cache@v2.9.2' + - 'swatinem/rust-cache@v2.9.3' '.github/workflows/codeql.yml': - 'actions/checkout@v7.0.1' - 'github/codeql-action@v4.38.2' @@ -38,7 +38,7 @@ workflows: '.github/workflows/formal-verification.yml': - 'actions/checkout@v7.0.1' - 'dtolnay/rust-toolchain@v1' - - 'swatinem/rust-cache@v2.9.2' + - 'swatinem/rust-cache@v2.9.3' '.github/workflows/generator-generic-ossf-slsa3-publish.yml': - 'actions/checkout@v7.0.1' - 'slsa-framework/slsa-github-generator@f7dd8c54c2067bafc12ca7a55595d5ee9b75204a' @@ -56,40 +56,39 @@ workflows: '.github/workflows/live-provers.yml': - 'actions/checkout@v7.0.1' - 'dtolnay/rust-toolchain@v1' - - 'swatinem/rust-cache@v2.9.2' + - 'swatinem/rust-cache@v2.9.3' '.github/workflows/mirror.yml': - 'hyperpolymath/standards@3c00687a5bbd0d881d351db8502417b5d0a8b0b0' '.github/workflows/mvp-smoke.yml': - 'actions/checkout@v7.0.1' - 'dtolnay/rust-toolchain@v1' - - 'swatinem/rust-cache@v2.9.2' - - 'taiki-e/install-action@v2.87.28' + - 'swatinem/rust-cache@v2.9.3' + - 'taiki-e/install-action@v2.87.29' '.github/workflows/pages.yml': - 'actions/checkout@v7.0.1' - 'actions/deploy-pages@v5.0.1' - 'actions/upload-pages-artifact@v5.0.0' '.github/workflows/proof-safety.yml': - 'actions/checkout@v7.0.1' - - 'swatinem/rust-cache@v2.9.2' + - 'swatinem/rust-cache@v2.9.3' '.github/workflows/rust-ci.yml': - 'actions/checkout@v7.0.1' - 'dtolnay/rust-toolchain@v1' - - 'swatinem/rust-cache@v2.9.2' + - 'swatinem/rust-cache@v2.9.3' '.github/workflows/s4-loop.yml': - 'actions/checkout@v7.0.1' - 'dtolnay/rust-toolchain@v1' - - 'swatinem/rust-cache@v2.9.2' - - 'taiki-e/install-action@v2.87.28' + - 'swatinem/rust-cache@v2.9.3' + - 'taiki-e/install-action@v2.87.29' '.github/workflows/scorecard.yml': - 'hyperpolymath/standards@3c00687a5bbd0d881d351db8502417b5d0a8b0b0' '.github/workflows/secret-scanner.yml': - 'hyperpolymath/standards@3c00687a5bbd0d881d351db8502417b5d0a8b0b0' - '.github/workflows/security-scan.yml': - - 'hyperpolymath/panic-attack@8955f615f769204e42340e08bdea2de9d72e81cd' + '.github/workflows/security-scan.yml': [] '.github/workflows/server-boot-gate.yml': - 'actions/checkout@v7.0.1' - 'dtolnay/rust-toolchain@v1' - - 'swatinem/rust-cache@v2.9.2' + - 'swatinem/rust-cache@v2.9.3' '.github/workflows/spark-theatre-gate.yml': - 'hyperpolymath/standards@3c00687a5bbd0d881d351db8502417b5d0a8b0b0' '.github/workflows/static-analysis-gate.yml': @@ -106,11 +105,6 @@ workflows: - 'hyperpolymath/cicd-suite@4c772eb235b04455307d5c03cbbc4f45130f7f0f' - 'mlugg/setup-zig@v2.2.1' dependencies: - 'Swatinem/rust-cache@6323deb102c322ba6fcbdcafc7e3dddab59af2b6': - ref: 'v2.9.2' - commit: 'sha1-6323deb102c322ba6fcbdcafc7e3dddab59af2b6' - owner_id: 580492 - repo_id: 298565987 'actions/attest-build-provenance@v4.2.2': ref: 'v4.2.2' commit: 'sha1-4d101475d8b20a2381f78447822ac1eab6504dd8' @@ -235,15 +229,6 @@ dependencies: commit: 'sha1-4c772eb235b04455307d5c03cbbc4f45130f7f0f' owner_id: 6759885 repo_id: 1326697643 - 'hyperpolymath/panic-attack@8955f615f769204e42340e08bdea2de9d72e81cd': - ref: '8955f615f769204e42340e08bdea2de9d72e81cd' - commit: 'sha1-8955f615f769204e42340e08bdea2de9d72e81cd' - owner_id: 6759885 - repo_id: 1152434997 - uses: - - 'Swatinem/rust-cache@6323deb102c322ba6fcbdcafc7e3dddab59af2b6' - - 'actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1' - - 'dtolnay/rust-toolchain@683b588c487a69d01f6c6ddf40f036ff682cc2c8' 'hyperpolymath/standards@3c00687a5bbd0d881d351db8502417b5d0a8b0b0': ref: '3c00687a5bbd0d881d351db8502417b5d0a8b0b0' commit: 'sha1-3c00687a5bbd0d881d351db8502417b5d0a8b0b0' @@ -300,14 +285,14 @@ dependencies: commit: 'sha1-c95fe1489396fe8a9eb87c0abf8aa5b2ef267fda' owner_id: 2242 repo_id: 204253808 - 'swatinem/rust-cache@v2.9.2': - ref: 'v2.9.2' - commit: 'sha1-6323deb102c322ba6fcbdcafc7e3dddab59af2b6' + 'swatinem/rust-cache@v2.9.3': + ref: 'v2.9.3' + commit: 'sha1-d1527c8f67ef9af357290475d4af4b0fab8f12e0' owner_id: 580492 repo_id: 298565987 - 'taiki-e/install-action@v2.87.28': - ref: 'v2.87.28' - commit: 'sha1-1168f6810a3cb30a3514bf5756a3b7f0422c6df8' + 'taiki-e/install-action@v2.87.29': + ref: 'v2.87.29' + commit: 'sha1-8cca0918f8471c33515202b73f56ab27f2bed283' owner_id: 43724913 repo_id: 442947557 'webfactory/ssh-agent@e83874834305fe9a4a2997156cb26c5de65a8555': diff --git a/.github/workflows/chapel-ci.yml b/.github/workflows/chapel-ci.yml index d7316af1..8c9316f0 100644 --- a/.github/workflows/chapel-ci.yml +++ b/.github/workflows/chapel-ci.yml @@ -154,7 +154,7 @@ jobs: toolchain: stable - name: Rust cache - uses: Swatinem/rust-cache@v2.9.2 + uses: Swatinem/rust-cache@v2.9.3 - name: Download FFI library uses: actions/download-artifact@v8.0.2 @@ -208,7 +208,7 @@ jobs: toolchain: stable - name: Rust cache - uses: Swatinem/rust-cache@v2.9.2 + uses: Swatinem/rust-cache@v2.9.3 - name: Download real Chapel library uses: actions/download-artifact@v8.0.2 diff --git a/.github/workflows/formal-verification.yml b/.github/workflows/formal-verification.yml index 49b64d63..c6b129d7 100644 --- a/.github/workflows/formal-verification.yml +++ b/.github/workflows/formal-verification.yml @@ -63,7 +63,7 @@ jobs: toolchain: stable - name: Cache Rust build artefacts - uses: Swatinem/rust-cache@v2.9.2 + uses: Swatinem/rust-cache@v2.9.3 with: workspaces: ". -> target" diff --git a/.github/workflows/live-provers.yml b/.github/workflows/live-provers.yml index 5f66d4bb..5672ce63 100644 --- a/.github/workflows/live-provers.yml +++ b/.github/workflows/live-provers.yml @@ -84,7 +84,7 @@ jobs: toolchain: stable - name: Cache Cargo - uses: Swatinem/rust-cache@v2.9.2 + uses: Swatinem/rust-cache@v2.9.3 - name: Provision prover (${{ matrix.backend }}) run: | @@ -178,7 +178,7 @@ jobs: with: toolchain: stable - name: Cache Cargo - uses: Swatinem/rust-cache@v2.9.2 + uses: Swatinem/rust-cache@v2.9.3 - name: Provision ${{ matrix.backend }} (best-effort via apt / upstream release) continue-on-error: true # allow-fail: issue=#416 expires=2026-11-30 run: | @@ -328,7 +328,7 @@ jobs: with: toolchain: stable - name: Cache Cargo - uses: Swatinem/rust-cache@v2.9.2 + uses: Swatinem/rust-cache@v2.9.3 - name: Provision ${{ matrix.backend }} (best-effort) continue-on-error: true # allow-fail: issue=#416 expires=2026-11-30 run: | @@ -458,7 +458,7 @@ jobs: with: toolchain: stable - name: Cache Cargo - uses: Swatinem/rust-cache@v2.9.2 + uses: Swatinem/rust-cache@v2.9.3 - name: Provision ${{ matrix.backend }} (best-effort, CUDA/OpenCL required) continue-on-error: true # allow-fail: issue=#416 expires=2026-11-30 run: | diff --git a/.github/workflows/mvp-smoke.yml b/.github/workflows/mvp-smoke.yml index 531d3190..76c37e5b 100644 --- a/.github/workflows/mvp-smoke.yml +++ b/.github/workflows/mvp-smoke.yml @@ -38,10 +38,10 @@ jobs: toolchain: stable - name: Cache Cargo - uses: Swatinem/rust-cache@v2.9.2 + uses: Swatinem/rust-cache@v2.9.3 - name: Install just - uses: taiki-e/install-action@v2.87.28 + uses: taiki-e/install-action@v2.87.29 with: # Governance R1 requires versioned family-tool pins # (just|must|trust|adjust|bust|dust|intend); bare `tool: just` diff --git a/.github/workflows/proof-safety.yml b/.github/workflows/proof-safety.yml index eb137add..5c338ce0 100644 --- a/.github/workflows/proof-safety.yml +++ b/.github/workflows/proof-safety.yml @@ -20,7 +20,7 @@ jobs: - uses: actions/checkout@v7.0.1 with: persist-credentials: false - - uses: Swatinem/rust-cache@v2.9.2 + - uses: Swatinem/rust-cache@v2.9.3 - name: Install required native provers run: | sudo apt-get update diff --git a/.github/workflows/rust-ci.yml b/.github/workflows/rust-ci.yml index ec9b65c7..2b0a2e5b 100644 --- a/.github/workflows/rust-ci.yml +++ b/.github/workflows/rust-ci.yml @@ -110,7 +110,7 @@ jobs: - name: Cache cargo registry and build - uses: Swatinem/rust-cache@v2.9.2 + uses: Swatinem/rust-cache@v2.9.3 with: workspaces: . @@ -158,7 +158,7 @@ jobs: - name: Cache cargo registry and build - uses: Swatinem/rust-cache@v2.9.2 + uses: Swatinem/rust-cache@v2.9.3 with: workspaces: . diff --git a/.github/workflows/s4-loop.yml b/.github/workflows/s4-loop.yml index 4aa9ccd0..3a9304ff 100644 --- a/.github/workflows/s4-loop.yml +++ b/.github/workflows/s4-loop.yml @@ -40,9 +40,9 @@ jobs: with: toolchain: stable - name: Cache Cargo - uses: Swatinem/rust-cache@v2.9.2 + uses: Swatinem/rust-cache@v2.9.3 - name: Install just - uses: taiki-e/install-action@v2.87.28 + uses: taiki-e/install-action@v2.87.29 with: tool: just@1.51.0 - name: Install system dependencies diff --git a/.github/workflows/security-scan.yml b/.github/workflows/security-scan.yml index f56d2668..dacb4554 100644 --- a/.github/workflows/security-scan.yml +++ b/.github/workflows/security-scan.yml @@ -24,6 +24,6 @@ permissions: jobs: scan: - uses: hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml@8955f615f769204e42340e08bdea2de9d72e81cd # main 2026-10-20: dtolnay/rust-toolchain v1 at 683b588 (the b689a74 pin was a commit no tag names any more) + uses: hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml@6933654592debdf0ed9157843a3771c252a63574 # main 2026-10-20: dtolnay/rust-toolchain v1 at 683b588 (the b689a74 pin was a commit no tag names any more) secrets: VERISIMDB_PAT: ${{ secrets.VERISIMDB_PAT }} diff --git a/.github/workflows/server-boot-gate.yml b/.github/workflows/server-boot-gate.yml index e9267c75..3651d5c8 100644 --- a/.github/workflows/server-boot-gate.yml +++ b/.github/workflows/server-boot-gate.yml @@ -32,7 +32,7 @@ jobs: with: toolchain: stable - name: Cache Cargo - uses: Swatinem/rust-cache@v2.9.2 + uses: Swatinem/rust-cache@v2.9.3 - name: Install system dependencies run: sudo apt-get install -y libssl-dev pkg-config - name: Build echidna binary