From 6b254fdea04212df371c0b48484be247b95580f0 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Sun, 4 Oct 2026 00:15:47 +0000 Subject: [PATCH] Bump the github-actions group across 1 directory with 4 updates Bumps the github-actions group with 4 updates in the / directory: [actions/checkout](https://github.com/actions/checkout), [actions/setup-python](https://github.com/actions/setup-python), [actions/upload-artifact](https://github.com/actions/upload-artifact) and [leanprover/lean-action](https://github.com/leanprover/lean-action). Updates `actions/checkout` from 4.4.0 to 7.0.1 - [Release notes](https://github.com/actions/checkout/releases) - [Commits](https://github.com/actions/checkout/compare/v4.4.0...v7.0.1) Updates `actions/setup-python` from 5.6.0 to 7.0.0 - [Release notes](https://github.com/actions/setup-python/releases) - [Commits](https://github.com/actions/setup-python/compare/v5.6.0...v7) Updates `actions/upload-artifact` from 4.6.2 to 7.0.1 - [Release notes](https://github.com/actions/upload-artifact/releases) - [Commits](https://github.com/actions/upload-artifact/compare/v4.6.2...v7.0.1) Updates `leanprover/lean-action` from 1.6.0 to 1.6.1 - [Release notes](https://github.com/leanprover/lean-action/releases) - [Changelog](https://github.com/leanprover/lean-action/blob/main/CHANGELOG.md) - [Commits](https://github.com/leanprover/lean-action/compare/50fcf42d2e460296f1a34b402e990d1b24f8b596...f061402b660e0c34644504b324e830f2991d4865) --- updated-dependencies: - dependency-name: actions/checkout dependency-version: 7.0.1 dependency-type: direct:production update-type: version-update:semver-major dependency-group: github-actions - dependency-name: actions/setup-python dependency-version: 7.0.0 dependency-type: direct:production update-type: version-update:semver-major dependency-group: github-actions - dependency-name: actions/upload-artifact dependency-version: 7.0.1 dependency-type: direct:production update-type: version-update:semver-major dependency-group: github-actions - dependency-name: leanprover/lean-action dependency-version: 1.6.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: github-actions ... Signed-off-by: dependabot[bot] --- .github/workflows/axial-density-review.yml | 6 +++--- .github/workflows/bf-six-pin-scalar.yml | 4 ++-- .github/workflows/c2-exact.yml | 4 ++-- .github/workflows/c2-finite-jet-transfer.yml | 4 ++-- .github/workflows/c6-cluster-coefficients-numerics.yml | 4 ++-- .github/workflows/c6-cluster-law.yml | 4 ++-- .github/workflows/c6-count-cap-boundary.yml | 4 ++-- .github/workflows/c6-factorial-moment.yml | 4 ++-- .github/workflows/c6-fourier-cutoff.yml | 4 ++-- .github/workflows/c6-marked-fourier.yml | 4 ++-- .github/workflows/c6-palm-route.yml | 4 ++-- .github/workflows/c6-rare-cluster-laws.yml | 4 ++-- .github/workflows/c6-remote-coefficient-numerics.yml | 4 ++-- .github/workflows/c6-residual-closure.yml | 4 ++-- .github/workflows/c6-sharpened.yml | 4 ++-- .github/workflows/c6-tail-constant-certified.yml | 4 ++-- .github/workflows/c6-witness-collision-reconciliation.yml | 4 ++-- .github/workflows/c7-nonvanishing-review.yml | 4 ++-- .github/workflows/c7-total-bounded.yml | 4 ++-- .github/workflows/c7-zero-gap.yml | 4 ++-- .github/workflows/c8-cap-failure-coefficient-dims.yml | 4 ++-- .github/workflows/c8-window-coefficient-d3-torus.yml | 4 ++-- .github/workflows/c8-window-coefficient-planar.yml | 4 ++-- .github/workflows/candidate-third-order.yml | 4 ++-- .github/workflows/cap-first-exit-lean.yml | 8 ++++---- .github/workflows/cluster-exponential-weight.yml | 4 ++-- .github/workflows/contact-angular.yml | 6 +++--- .github/workflows/cusp-coefficient-certified.yml | 4 ++-- .github/workflows/cusp-second-order.yml | 4 ++-- .github/workflows/cusp-torus-transfer.yml | 4 ++-- .github/workflows/d1-cap-elder-partner-second-pass.yml | 4 ++-- .github/workflows/d1-cde-fulldepth-review.yml | 4 ++-- .github/workflows/d1-chain-reconciliation.yml | 4 ++-- .github/workflows/d1-external-cap-audit.yml | 4 ++-- .github/workflows/d1-theorem-a.yml | 4 ++-- .github/workflows/d2-remainder-fulldepth-review.yml | 4 ++-- .github/workflows/d5-dimension-lift.yml | 4 ++-- .github/workflows/d5-intermediate-window-review.yml | 4 ++-- .github/workflows/d5-pin-disk.yml | 4 ++-- .github/workflows/d5-punctured-pin-continuum-review.yml | 4 ++-- .github/workflows/d5-reconciliation.yml | 4 ++-- .github/workflows/downstream-gate.yml | 2 +- .github/workflows/elder-cusp-parity.yml | 4 ++-- .github/workflows/elder-dimension-lift-review.yml | 4 ++-- .github/workflows/elder-dimension-lift.yml | 4 ++-- .github/workflows/elder-lower-all-d.yml | 4 ++-- .github/workflows/elder-lower-review.yml | 4 ++-- .github/workflows/elder-partner-extremes.yml | 4 ++-- .github/workflows/elder-third-order.yml | 4 ++-- .github/workflows/extreme-cluster-sampling.yml | 4 ++-- .github/workflows/far-elder-rate.yml | 4 ++-- .github/workflows/fixed-r-inverse-lifetime.yml | 4 ++-- .github/workflows/formal-lean.yml | 6 +++--- .github/workflows/gpdata114-inert-custody.yml | 4 ++-- .github/workflows/intermediate-window.yml | 4 ++-- .github/workflows/lifetime-moment-boundary.yml | 4 ++-- .github/workflows/local-cluster-tightness.yml | 4 ++-- .github/workflows/moving-remote-collision.yml | 4 ++-- .github/workflows/p15-bipartite-overlap.yml | 4 ++-- .github/workflows/p15-overlap-tail-review.yml | 4 ++-- .github/workflows/p15-tail-load.yml | 4 ++-- .github/workflows/pin-micro-covariance.yml | 4 ++-- .github/workflows/planar-cubic-cluster.yml | 4 ++-- .github/workflows/planar-rejected-endpoint-margin.yml | 4 ++-- .github/workflows/planar-soft-layer-chain.yml | 4 ++-- .github/workflows/radial-rate.yml | 4 ++-- .github/workflows/register-alignment.yml | 4 ++-- .github/workflows/register-execution-readiness.yml | 4 ++-- .github/workflows/remainder-rate.yml | 4 ++-- .github/workflows/remainder-vanishing.yml | 4 ++-- .github/workflows/remote-collision.yml | 4 ++-- .github/workflows/remote-distance-moments-review.yml | 4 ++-- .github/workflows/remote-height-decoupling.yml | 4 ++-- .github/workflows/remote-height-marks-review.yml | 4 ++-- .github/workflows/remote-height-review.yml | 4 ++-- .github/workflows/remote-inverse-separation-review.yml | 4 ++-- .github/workflows/remote-inverse-separation.yml | 4 ++-- .github/workflows/remote-mixed-inverse-review.yml | 4 ++-- .github/workflows/remote-mixed-inverse.yml | 4 ++-- .github/workflows/remote-pair-law-review.yml | 4 ++-- .github/workflows/remote-singleton.yml | 4 ++-- .github/workflows/sard-g-a2-fixed-frame-review.yml | 4 ++-- .github/workflows/sard-g-a2-fixed-frame.yml | 4 ++-- .github/workflows/sard-g-a2-parameter.yml | 4 ++-- .github/workflows/sard-g-a2-regularity.yml | 4 ++-- .github/workflows/sard-g-pinned-transfer.yml | 4 ++-- .github/workflows/sard-g-r1r2-review.yml | 4 ++-- .github/workflows/sard-g-r3r4-review.yml | 4 ++-- .github/workflows/sard-robust-charts.yml | 4 ++-- .github/workflows/separated-fold-multiplicity.yml | 4 ++-- .github/workflows/side24-periodization-firstvar.yml | 4 ++-- .github/workflows/side24-periodization-remainder.yml | 4 ++-- .github/workflows/side24-remainder.yml | 4 ++-- .github/workflows/side24-v1-coefficient-review.yml | 4 ++-- .github/workflows/soft-closed-form.yml | 4 ++-- .github/workflows/soft-fold-limit.yml | 4 ++-- .github/workflows/soft-rejected-pairs.yml | 4 ++-- .github/workflows/spectral-cluster-closure.yml | 4 ++-- .github/workflows/third-order-rate.yml | 4 ++-- .github/workflows/two-scale-cluster-geometry.yml | 4 ++-- .github/workflows/unrestricted-selection-difference.yml | 4 ++-- 101 files changed, 206 insertions(+), 206 deletions(-) diff --git a/.github/workflows/axial-density-review.yml b/.github/workflows/axial-density-review.yml index 9c55eaff9..90a82a6d3 100644 --- a/.github/workflows/axial-density-review.yml +++ b/.github/workflows/axial-density-review.yml @@ -12,8 +12,8 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@v7 - - uses: actions/setup-python@v7 + - uses: actions/checkout@v7.0.1 + - uses: actions/setup-python@v7.0.0 with: python-version: '3.11' - name: Exact algebra in both modes with semantic mutations @@ -31,7 +31,7 @@ jobs: done done git rev-parse HEAD > "$RUNNER_TEMP/axial-evidence/checkout_commit.txt" - - uses: actions/upload-artifact@v7 + - uses: actions/upload-artifact@v7.0.1 if: always() with: name: axial-density-replay diff --git a/.github/workflows/bf-six-pin-scalar.yml b/.github/workflows/bf-six-pin-scalar.yml index 9fef6d254..ccba07efa 100644 --- a/.github/workflows/bf-six-pin-scalar.yml +++ b/.github/workflows/bf-six-pin-scalar.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-24.04 timeout-minutes: 5 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11' - name: Normal and optimized refusal tests diff --git a/.github/workflows/c2-exact.yml b/.github/workflows/c2-exact.yml index b8574323d..9267257a7 100644 --- a/.github/workflows/c2-exact.yml +++ b/.github/workflows/c2-exact.yml @@ -21,10 +21,10 @@ jobs: matrix: flags: ['-B -S', '-B -O -S'] steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify manifest and main-resident pins diff --git a/.github/workflows/c2-finite-jet-transfer.yml b/.github/workflows/c2-finite-jet-transfer.yml index f6d6f18c9..8a070d983 100644 --- a/.github/workflows/c2-finite-jet-transfer.yml +++ b/.github/workflows/c2-finite-jet-transfer.yml @@ -15,11 +15,11 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false fetch-depth: 0 - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Authenticate the historical sources and run exact controls diff --git a/.github/workflows/c6-cluster-coefficients-numerics.yml b/.github/workflows/c6-cluster-coefficients-numerics.yml index 0331e4e39..268ca3fb8 100644 --- a/.github/workflows/c6-cluster-coefficients-numerics.yml +++ b/.github/workflows/c6-cluster-coefficients-numerics.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 20 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify manifest and main-resident pins, replay exact controls and GH40, reject mutants diff --git a/.github/workflows/c6-cluster-law.yml b/.github/workflows/c6-cluster-law.yml index 9b053545d..85bbd08ea 100644 --- a/.github/workflows/c6-cluster-law.yml +++ b/.github/workflows/c6-cluster-law.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 15 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/c6-count-cap-boundary.yml b/.github/workflows/c6-count-cap-boundary.yml index c5a297d62..c3888e7d6 100644 --- a/.github/workflows/c6-count-cap-boundary.yml +++ b/.github/workflows/c6-count-cap-boundary.yml @@ -20,10 +20,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Exact sources and both-mode semantic controls diff --git a/.github/workflows/c6-factorial-moment.yml b/.github/workflows/c6-factorial-moment.yml index 24031c563..6d3a14155 100644 --- a/.github/workflows/c6-factorial-moment.yml +++ b/.github/workflows/c6-factorial-moment.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/c6-fourier-cutoff.yml b/.github/workflows/c6-fourier-cutoff.yml index 5a6ccdd93..4f10f5432 100644 --- a/.github/workflows/c6-fourier-cutoff.yml +++ b/.github/workflows/c6-fourier-cutoff.yml @@ -26,10 +26,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Exact packet, both Python modes, and six upstream identities diff --git a/.github/workflows/c6-marked-fourier.yml b/.github/workflows/c6-marked-fourier.yml index 183d345b5..33ad7f266 100644 --- a/.github/workflows/c6-marked-fourier.yml +++ b/.github/workflows/c6-marked-fourier.yml @@ -32,11 +32,11 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 15 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: fetch-depth: 0 persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Both-mode controls and exact upstream custody diff --git a/.github/workflows/c6-palm-route.yml b/.github/workflows/c6-palm-route.yml index ac21f1fcb..9dba863a2 100644 --- a/.github/workflows/c6-palm-route.yml +++ b/.github/workflows/c6-palm-route.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 15 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/c6-rare-cluster-laws.yml b/.github/workflows/c6-rare-cluster-laws.yml index 2c7b8b261..9c4dc65c6 100644 --- a/.github/workflows/c6-rare-cluster-laws.yml +++ b/.github/workflows/c6-rare-cluster-laws.yml @@ -15,11 +15,11 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false fetch-depth: 0 - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Fetch immutable public premise object diff --git a/.github/workflows/c6-remote-coefficient-numerics.yml b/.github/workflows/c6-remote-coefficient-numerics.yml index fdb6f61ce..0f622023e 100644 --- a/.github/workflows/c6-remote-coefficient-numerics.yml +++ b/.github/workflows/c6-remote-coefficient-numerics.yml @@ -20,10 +20,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 20 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify manifest and main-resident pins, replay exact controls and sample kernels, reject mutants diff --git a/.github/workflows/c6-residual-closure.yml b/.github/workflows/c6-residual-closure.yml index 1bde9c3b3..c99afc4f1 100644 --- a/.github/workflows/c6-residual-closure.yml +++ b/.github/workflows/c6-residual-closure.yml @@ -28,10 +28,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes (baseline or installed register), reject mutants diff --git a/.github/workflows/c6-sharpened.yml b/.github/workflows/c6-sharpened.yml index 363d116be..1e5fd374a 100644 --- a/.github/workflows/c6-sharpened.yml +++ b/.github/workflows/c6-sharpened.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/c6-tail-constant-certified.yml b/.github/workflows/c6-tail-constant-certified.yml index 3ac90f6b0..53b09857d 100644 --- a/.github/workflows/c6-tail-constant-certified.yml +++ b/.github/workflows/c6-tail-constant-certified.yml @@ -18,10 +18,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 30 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources and pins, replay both modes, reject mutants diff --git a/.github/workflows/c6-witness-collision-reconciliation.yml b/.github/workflows/c6-witness-collision-reconciliation.yml index 1f74fb0ca..a176b69a2 100644 --- a/.github/workflows/c6-witness-collision-reconciliation.yml +++ b/.github/workflows/c6-witness-collision-reconciliation.yml @@ -30,10 +30,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes (baseline or installed register), reject mutants diff --git a/.github/workflows/c7-nonvanishing-review.yml b/.github/workflows/c7-nonvanishing-review.yml index f981a3e09..9043f1d68 100644 --- a/.github/workflows/c7-nonvanishing-review.yml +++ b/.github/workflows/c7-nonvanishing-review.yml @@ -18,10 +18,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Exact sources and both-mode intended refusals diff --git a/.github/workflows/c7-total-bounded.yml b/.github/workflows/c7-total-bounded.yml index a4a139067..3d025b1ae 100644 --- a/.github/workflows/c7-total-bounded.yml +++ b/.github/workflows/c7-total-bounded.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/c7-zero-gap.yml b/.github/workflows/c7-zero-gap.yml index 00e01f63f..5282f9174 100644 --- a/.github/workflows/c7-zero-gap.yml +++ b/.github/workflows/c7-zero-gap.yml @@ -20,10 +20,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Exact sources, both Python modes, semantic and path negatives diff --git a/.github/workflows/c8-cap-failure-coefficient-dims.yml b/.github/workflows/c8-cap-failure-coefficient-dims.yml index 571abb55d..b74f83b24 100644 --- a/.github/workflows/c8-cap-failure-coefficient-dims.yml +++ b/.github/workflows/c8-cap-failure-coefficient-dims.yml @@ -18,10 +18,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 20 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify manifest and main-resident pins, replay the certified values in both interpreter modes, reject mutants diff --git a/.github/workflows/c8-window-coefficient-d3-torus.yml b/.github/workflows/c8-window-coefficient-d3-torus.yml index dc49ec669..0194bba0b 100644 --- a/.github/workflows/c8-window-coefficient-d3-torus.yml +++ b/.github/workflows/c8-window-coefficient-d3-torus.yml @@ -18,10 +18,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 30 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources and pins, replay both modes, reject mutants diff --git a/.github/workflows/c8-window-coefficient-planar.yml b/.github/workflows/c8-window-coefficient-planar.yml index d3102c319..b5061549c 100644 --- a/.github/workflows/c8-window-coefficient-planar.yml +++ b/.github/workflows/c8-window-coefficient-planar.yml @@ -18,10 +18,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 30 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources and pins, replay both modes, reject mutants diff --git a/.github/workflows/candidate-third-order.yml b/.github/workflows/candidate-third-order.yml index 3bd2c8cd2..624a74faa 100644 --- a/.github/workflows/candidate-third-order.yml +++ b/.github/workflows/candidate-third-order.yml @@ -26,10 +26,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/cap-first-exit-lean.yml b/.github/workflows/cap-first-exit-lean.yml index 9d96705e3..d2bf2186d 100644 --- a/.github/workflows/cap-first-exit-lean.yml +++ b/.github/workflows/cap-first-exit-lean.yml @@ -20,10 +20,10 @@ jobs: LEAN_NUM_THREADS: 2 PYTHONDONTWRITEBYTECODE: '1' steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Source gate and unit tests in both Python modes (no Lean) @@ -34,7 +34,7 @@ jobs: python -B -O -S -m unittest discover -s "$P" -p 'test_*.py' -v python -B -S "$P/gate.py" - name: Install pinned Lean and retrieve the Mathlib cache - uses: leanprover/lean-action@50fcf42d2e460296f1a34b402e990d1b24f8b596 + uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 with: lake-package-directory: frontiers/cap_first_exit_lean_20261002 auto-config: 'false' @@ -49,7 +49,7 @@ jobs: run: git diff --exit-code - name: Preserve logs and receipt if: always() - uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 + uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a with: name: cap-first-exit-lean-${{ github.run_id }}-${{ github.run_attempt }} path: frontiers/cap_first_exit_lean_20261002/.lake/evidence/ diff --git a/.github/workflows/cluster-exponential-weight.yml b/.github/workflows/cluster-exponential-weight.yml index b01274852..c25a5a287 100644 --- a/.github/workflows/cluster-exponential-weight.yml +++ b/.github/workflows/cluster-exponential-weight.yml @@ -17,11 +17,11 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 15 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: fetch-depth: 0 persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Finite controls and immutable source custody (not proof acceptance) diff --git a/.github/workflows/contact-angular.yml b/.github/workflows/contact-angular.yml index 3cfe9673c..df21255fa 100644 --- a/.github/workflows/contact-angular.yml +++ b/.github/workflows/contact-angular.yml @@ -10,10 +10,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 5 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify exact sources and run both modes @@ -43,7 +43,7 @@ jobs: git diff --exit-code - name: Retain evidence including failures if: always() - uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 + uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a with: name: contact-angular-${{ github.run_id }} path: ${{ runner.temp }}/contact-angular-results diff --git a/.github/workflows/cusp-coefficient-certified.yml b/.github/workflows/cusp-coefficient-certified.yml index 26db78d28..24412ef8f 100644 --- a/.github/workflows/cusp-coefficient-certified.yml +++ b/.github/workflows/cusp-coefficient-certified.yml @@ -23,10 +23,10 @@ jobs: matrix: flags: ['-B -S', '-B -O -S'] steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify manifest and main-resident pins diff --git a/.github/workflows/cusp-second-order.yml b/.github/workflows/cusp-second-order.yml index 11d088378..7060635b1 100644 --- a/.github/workflows/cusp-second-order.yml +++ b/.github/workflows/cusp-second-order.yml @@ -26,10 +26,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/cusp-torus-transfer.yml b/.github/workflows/cusp-torus-transfer.yml index b00d26777..d6cb94e6e 100644 --- a/.github/workflows/cusp-torus-transfer.yml +++ b/.github/workflows/cusp-torus-transfer.yml @@ -18,11 +18,11 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false fetch-depth: 0 - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Fetch exact historical source commits diff --git a/.github/workflows/d1-cap-elder-partner-second-pass.yml b/.github/workflows/d1-cap-elder-partner-second-pass.yml index 1d0baf1ca..4b688ce16 100644 --- a/.github/workflows/d1-cap-elder-partner-second-pass.yml +++ b/.github/workflows/d1-cap-elder-partner-second-pass.yml @@ -20,10 +20,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources and pins, replay both modes, reject mutants diff --git a/.github/workflows/d1-cde-fulldepth-review.yml b/.github/workflows/d1-cde-fulldepth-review.yml index fa03e30ab..089df7714 100644 --- a/.github/workflows/d1-cde-fulldepth-review.yml +++ b/.github/workflows/d1-cde-fulldepth-review.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/d1-chain-reconciliation.yml b/.github/workflows/d1-chain-reconciliation.yml index 167cf9206..b32264cbb 100644 --- a/.github/workflows/d1-chain-reconciliation.yml +++ b/.github/workflows/d1-chain-reconciliation.yml @@ -19,10 +19,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/d1-external-cap-audit.yml b/.github/workflows/d1-external-cap-audit.yml index 531472589..2c3a834fd 100644 --- a/.github/workflows/d1-external-cap-audit.yml +++ b/.github/workflows/d1-external-cap-audit.yml @@ -15,11 +15,11 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false fetch-depth: 0 - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Authenticate the frozen source set diff --git a/.github/workflows/d1-theorem-a.yml b/.github/workflows/d1-theorem-a.yml index 45f71d766..55dad2971 100644 --- a/.github/workflows/d1-theorem-a.yml +++ b/.github/workflows/d1-theorem-a.yml @@ -16,10 +16,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/d2-remainder-fulldepth-review.yml b/.github/workflows/d2-remainder-fulldepth-review.yml index ac73540c3..dbbba3570 100644 --- a/.github/workflows/d2-remainder-fulldepth-review.yml +++ b/.github/workflows/d2-remainder-fulldepth-review.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify record tree, reviewed source identities, replay both modes, reject mutants diff --git a/.github/workflows/d5-dimension-lift.yml b/.github/workflows/d5-dimension-lift.yml index e81691867..06a9c445b 100644 --- a/.github/workflows/d5-dimension-lift.yml +++ b/.github/workflows/d5-dimension-lift.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 15 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/d5-intermediate-window-review.yml b/.github/workflows/d5-intermediate-window-review.yml index 9c8c1fcd1..ecf5c711e 100644 --- a/.github/workflows/d5-intermediate-window-review.yml +++ b/.github/workflows/d5-intermediate-window-review.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/d5-pin-disk.yml b/.github/workflows/d5-pin-disk.yml index 01b2bd183..70697b1d1 100644 --- a/.github/workflows/d5-pin-disk.yml +++ b/.github/workflows/d5-pin-disk.yml @@ -16,10 +16,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/d5-punctured-pin-continuum-review.yml b/.github/workflows/d5-punctured-pin-continuum-review.yml index 7e7885d04..3500d189c 100644 --- a/.github/workflows/d5-punctured-pin-continuum-review.yml +++ b/.github/workflows/d5-punctured-pin-continuum-review.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/d5-reconciliation.yml b/.github/workflows/d5-reconciliation.yml index 4ae0bb8b4..2474267a9 100644 --- a/.github/workflows/d5-reconciliation.yml +++ b/.github/workflows/d5-reconciliation.yml @@ -20,10 +20,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/downstream-gate.yml b/.github/workflows/downstream-gate.yml index 13ba3b5c2..7ed7500fe 100644 --- a/.github/workflows/downstream-gate.yml +++ b/.github/workflows/downstream-gate.yml @@ -120,7 +120,7 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 5 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - name: Require both checks and source-bound current-run formal success diff --git a/.github/workflows/elder-cusp-parity.yml b/.github/workflows/elder-cusp-parity.yml index 16b1c8be4..29be167a6 100644 --- a/.github/workflows/elder-cusp-parity.yml +++ b/.github/workflows/elder-cusp-parity.yml @@ -30,10 +30,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/elder-dimension-lift-review.yml b/.github/workflows/elder-dimension-lift-review.yml index 6a708cba4..801df8dd5 100644 --- a/.github/workflows/elder-dimension-lift-review.yml +++ b/.github/workflows/elder-dimension-lift-review.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/elder-dimension-lift.yml b/.github/workflows/elder-dimension-lift.yml index fcb467a25..b4301cba8 100644 --- a/.github/workflows/elder-dimension-lift.yml +++ b/.github/workflows/elder-dimension-lift.yml @@ -20,10 +20,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Exact sources, both modes and intended semantic failures diff --git a/.github/workflows/elder-lower-all-d.yml b/.github/workflows/elder-lower-all-d.yml index 31734edcf..e036ccb64 100644 --- a/.github/workflows/elder-lower-all-d.yml +++ b/.github/workflows/elder-lower-all-d.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/elder-lower-review.yml b/.github/workflows/elder-lower-review.yml index dbbddd04c..82cffd9aa 100644 --- a/.github/workflows/elder-lower-review.yml +++ b/.github/workflows/elder-lower-review.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/elder-partner-extremes.yml b/.github/workflows/elder-partner-extremes.yml index 77741c122..b3c91d6f1 100644 --- a/.github/workflows/elder-partner-extremes.yml +++ b/.github/workflows/elder-partner-extremes.yml @@ -15,11 +15,11 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false fetch-depth: 0 - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Fetch exact public source commits diff --git a/.github/workflows/elder-third-order.yml b/.github/workflows/elder-third-order.yml index 98928ee2f..f24740733 100644 --- a/.github/workflows/elder-third-order.yml +++ b/.github/workflows/elder-third-order.yml @@ -29,10 +29,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/extreme-cluster-sampling.yml b/.github/workflows/extreme-cluster-sampling.yml index d47c6fcba..e86438898 100644 --- a/.github/workflows/extreme-cluster-sampling.yml +++ b/.github/workflows/extreme-cluster-sampling.yml @@ -15,11 +15,11 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false fetch-depth: 0 - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Fetch exact public source objects diff --git a/.github/workflows/far-elder-rate.yml b/.github/workflows/far-elder-rate.yml index efe17c813..7be1fdeea 100644 --- a/.github/workflows/far-elder-rate.yml +++ b/.github/workflows/far-elder-rate.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/fixed-r-inverse-lifetime.yml b/.github/workflows/fixed-r-inverse-lifetime.yml index 9216a6e52..92de6cb23 100644 --- a/.github/workflows/fixed-r-inverse-lifetime.yml +++ b/.github/workflows/fixed-r-inverse-lifetime.yml @@ -15,11 +15,11 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false fetch-depth: 0 - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Fetch exact public parent model diff --git a/.github/workflows/formal-lean.yml b/.github/workflows/formal-lean.yml index 97d78b819..bf4f2c0e9 100644 --- a/.github/workflows/formal-lean.yml +++ b/.github/workflows/formal-lean.yml @@ -33,7 +33,7 @@ jobs: env: LEAN_NUM_THREADS: 2 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - name: Gate tests and exact source identity @@ -42,7 +42,7 @@ jobs: python3 -O -m unittest discover -s formal/tests -v python3 formal/gate.py - name: Install pinned Lean and retrieve dependency cache - uses: leanprover/lean-action@50fcf42d2e460296f1a34b402e990d1b24f8b596 + uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 with: lake-package-directory: formal auto-config: 'false' @@ -58,7 +58,7 @@ jobs: run: python3 -B -S tools/required_formal_check.py receipt - name: Preserve logs and exact-run receipt if: always() - uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 + uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a with: name: formal-evidence-${{ github.run_id }}-${{ github.run_attempt }} path: formal/.lake/formal-evidence/ diff --git a/.github/workflows/gpdata114-inert-custody.yml b/.github/workflows/gpdata114-inert-custody.yml index c0b665b88..c3b1d2c82 100644 --- a/.github/workflows/gpdata114-inert-custody.yml +++ b/.github/workflows/gpdata114-inert-custody.yml @@ -17,10 +17,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 15 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify inert bytes and decoder controls only diff --git a/.github/workflows/intermediate-window.yml b/.github/workflows/intermediate-window.yml index 2c5b78820..6b27723b0 100644 --- a/.github/workflows/intermediate-window.yml +++ b/.github/workflows/intermediate-window.yml @@ -20,10 +20,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Exact sources, two modes, assertion-rejected mutations diff --git a/.github/workflows/lifetime-moment-boundary.yml b/.github/workflows/lifetime-moment-boundary.yml index db56ae55c..6c9fa1d8c 100644 --- a/.github/workflows/lifetime-moment-boundary.yml +++ b/.github/workflows/lifetime-moment-boundary.yml @@ -19,10 +19,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 5 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - run: python -B -S frontiers/lifetime_moment_boundary_20260930/verify.py diff --git a/.github/workflows/local-cluster-tightness.yml b/.github/workflows/local-cluster-tightness.yml index 365bad977..072a5a4de 100644 --- a/.github/workflows/local-cluster-tightness.yml +++ b/.github/workflows/local-cluster-tightness.yml @@ -26,11 +26,11 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: fetch-depth: 0 persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Both modes, semantic controls and exact current/historical sources diff --git a/.github/workflows/moving-remote-collision.yml b/.github/workflows/moving-remote-collision.yml index b955379bd..8ab75c1a5 100644 --- a/.github/workflows/moving-remote-collision.yml +++ b/.github/workflows/moving-remote-collision.yml @@ -41,11 +41,11 @@ jobs: matrix: mode: [normal, optimized] steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: fetch-depth: 0 persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources and run bounded exact controls diff --git a/.github/workflows/p15-bipartite-overlap.yml b/.github/workflows/p15-bipartite-overlap.yml index 57266f07a..5ef13e961 100644 --- a/.github/workflows/p15-bipartite-overlap.yml +++ b/.github/workflows/p15-bipartite-overlap.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify exact sources and both-mode semantic controls diff --git a/.github/workflows/p15-overlap-tail-review.yml b/.github/workflows/p15-overlap-tail-review.yml index c7d35ac14..788120770 100644 --- a/.github/workflows/p15-overlap-tail-review.yml +++ b/.github/workflows/p15-overlap-tail-review.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/p15-tail-load.yml b/.github/workflows/p15-tail-load.yml index e55e456da..da2d606c8 100644 --- a/.github/workflows/p15-tail-load.yml +++ b/.github/workflows/p15-tail-load.yml @@ -20,10 +20,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Exact sources, both Python modes and seven semantic mutants diff --git a/.github/workflows/pin-micro-covariance.yml b/.github/workflows/pin-micro-covariance.yml index 683b8da20..4579bb5de 100644 --- a/.github/workflows/pin-micro-covariance.yml +++ b/.github/workflows/pin-micro-covariance.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 5 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Run exact rational check in both modes diff --git a/.github/workflows/planar-cubic-cluster.yml b/.github/workflows/planar-cubic-cluster.yml index b1b7d84d3..6021e3485 100644 --- a/.github/workflows/planar-cubic-cluster.yml +++ b/.github/workflows/planar-cubic-cluster.yml @@ -15,11 +15,11 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false fetch-depth: 0 - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify packet, both sources and both Python modes diff --git a/.github/workflows/planar-rejected-endpoint-margin.yml b/.github/workflows/planar-rejected-endpoint-margin.yml index b35e3e7ad..ed768c694 100644 --- a/.github/workflows/planar-rejected-endpoint-margin.yml +++ b/.github/workflows/planar-rejected-endpoint-margin.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify stored identities and replay the published author controls, both modes diff --git a/.github/workflows/planar-soft-layer-chain.yml b/.github/workflows/planar-soft-layer-chain.yml index 23d0e7cfb..933f771fa 100644 --- a/.github/workflows/planar-soft-layer-chain.yml +++ b/.github/workflows/planar-soft-layer-chain.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify stored identities and replay every published checker, both modes diff --git a/.github/workflows/radial-rate.yml b/.github/workflows/radial-rate.yml index fa1a9abe5..51a4bb364 100644 --- a/.github/workflows/radial-rate.yml +++ b/.github/workflows/radial-rate.yml @@ -15,11 +15,11 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false fetch-depth: 0 - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Fetch exact public source objects diff --git a/.github/workflows/register-alignment.yml b/.github/workflows/register-alignment.yml index ac806471c..74bbb0b2a 100644 --- a/.github/workflows/register-alignment.yml +++ b/.github/workflows/register-alignment.yml @@ -31,10 +31,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes (baseline or installed register), reject mutants diff --git a/.github/workflows/register-execution-readiness.yml b/.github/workflows/register-execution-readiness.yml index c6262ab5e..844532f64 100644 --- a/.github/workflows/register-execution-readiness.yml +++ b/.github/workflows/register-execution-readiness.yml @@ -21,10 +21,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 15 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Compose the three proposals on a scratch copy; run the three checkers and their mutants in the installed state diff --git a/.github/workflows/remainder-rate.yml b/.github/workflows/remainder-rate.yml index 1aacac1c5..d32aa63cb 100644 --- a/.github/workflows/remainder-rate.yml +++ b/.github/workflows/remainder-rate.yml @@ -25,10 +25,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/remainder-vanishing.yml b/.github/workflows/remainder-vanishing.yml index e046d962d..e238b8a3e 100644 --- a/.github/workflows/remainder-vanishing.yml +++ b/.github/workflows/remainder-vanishing.yml @@ -24,10 +24,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/remote-collision.yml b/.github/workflows/remote-collision.yml index dcf4566bc..ebd51494b 100644 --- a/.github/workflows/remote-collision.yml +++ b/.github/workflows/remote-collision.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/remote-distance-moments-review.yml b/.github/workflows/remote-distance-moments-review.yml index 62456d897..7ccebfad6 100644 --- a/.github/workflows/remote-distance-moments-review.yml +++ b/.github/workflows/remote-distance-moments-review.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/remote-height-decoupling.yml b/.github/workflows/remote-height-decoupling.yml index 52ab5b906..c291a13b5 100644 --- a/.github/workflows/remote-height-decoupling.yml +++ b/.github/workflows/remote-height-decoupling.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify exact sources and both-mode semantic controls diff --git a/.github/workflows/remote-height-marks-review.yml b/.github/workflows/remote-height-marks-review.yml index f6bea0160..a019deed2 100644 --- a/.github/workflows/remote-height-marks-review.yml +++ b/.github/workflows/remote-height-marks-review.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/remote-height-review.yml b/.github/workflows/remote-height-review.yml index d527d5efa..c947ba577 100644 --- a/.github/workflows/remote-height-review.yml +++ b/.github/workflows/remote-height-review.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/remote-inverse-separation-review.yml b/.github/workflows/remote-inverse-separation-review.yml index 39efea01d..54a3f6916 100644 --- a/.github/workflows/remote-inverse-separation-review.yml +++ b/.github/workflows/remote-inverse-separation-review.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/remote-inverse-separation.yml b/.github/workflows/remote-inverse-separation.yml index b6131b954..273e3336d 100644 --- a/.github/workflows/remote-inverse-separation.yml +++ b/.github/workflows/remote-inverse-separation.yml @@ -20,10 +20,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify exact packet and both-mode intended negatives diff --git a/.github/workflows/remote-mixed-inverse-review.yml b/.github/workflows/remote-mixed-inverse-review.yml index b5f1b7fe8..1939dd177 100644 --- a/.github/workflows/remote-mixed-inverse-review.yml +++ b/.github/workflows/remote-mixed-inverse-review.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/remote-mixed-inverse.yml b/.github/workflows/remote-mixed-inverse.yml index 8551c08e4..ddcb90dce 100644 --- a/.github/workflows/remote-mixed-inverse.yml +++ b/.github/workflows/remote-mixed-inverse.yml @@ -24,10 +24,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Exact packet, both modes and upstream source bytes diff --git a/.github/workflows/remote-pair-law-review.yml b/.github/workflows/remote-pair-law-review.yml index 9a4c5c2d9..0229ba5e6 100644 --- a/.github/workflows/remote-pair-law-review.yml +++ b/.github/workflows/remote-pair-law-review.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/remote-singleton.yml b/.github/workflows/remote-singleton.yml index 3cdda862d..9e2cfda7b 100644 --- a/.github/workflows/remote-singleton.yml +++ b/.github/workflows/remote-singleton.yml @@ -20,10 +20,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Exact sources, two Python modes and semantic mutations diff --git a/.github/workflows/sard-g-a2-fixed-frame-review.yml b/.github/workflows/sard-g-a2-fixed-frame-review.yml index 3b194f1ce..5942d27d2 100644 --- a/.github/workflows/sard-g-a2-fixed-frame-review.yml +++ b/.github/workflows/sard-g-a2-fixed-frame-review.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/sard-g-a2-fixed-frame.yml b/.github/workflows/sard-g-a2-fixed-frame.yml index 3f207ebf5..d76490ca3 100644 --- a/.github/workflows/sard-g-a2-fixed-frame.yml +++ b/.github/workflows/sard-g-a2-fixed-frame.yml @@ -17,10 +17,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Exact successor sources and intended semantic failures in both modes diff --git a/.github/workflows/sard-g-a2-parameter.yml b/.github/workflows/sard-g-a2-parameter.yml index 05d079a86..12a1ba778 100644 --- a/.github/workflows/sard-g-a2-parameter.yml +++ b/.github/workflows/sard-g-a2-parameter.yml @@ -12,10 +12,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - run: | diff --git a/.github/workflows/sard-g-a2-regularity.yml b/.github/workflows/sard-g-a2-regularity.yml index bb5fe34d8..5791830f7 100644 --- a/.github/workflows/sard-g-a2-regularity.yml +++ b/.github/workflows/sard-g-a2-regularity.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/sard-g-pinned-transfer.yml b/.github/workflows/sard-g-pinned-transfer.yml index deb283f56..542bbd134 100644 --- a/.github/workflows/sard-g-pinned-transfer.yml +++ b/.github/workflows/sard-g-pinned-transfer.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/sard-g-r1r2-review.yml b/.github/workflows/sard-g-r1r2-review.yml index 9d9329fdc..475888b2f 100644 --- a/.github/workflows/sard-g-r1r2-review.yml +++ b/.github/workflows/sard-g-r1r2-review.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/sard-g-r3r4-review.yml b/.github/workflows/sard-g-r3r4-review.yml index 77c81e099..8ea00c717 100644 --- a/.github/workflows/sard-g-r3r4-review.yml +++ b/.github/workflows/sard-g-r3r4-review.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/sard-robust-charts.yml b/.github/workflows/sard-robust-charts.yml index 2ec278e32..22f1a838e 100644 --- a/.github/workflows/sard-robust-charts.yml +++ b/.github/workflows/sard-robust-charts.yml @@ -18,10 +18,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Exact packet and both-mode geometric negatives diff --git a/.github/workflows/separated-fold-multiplicity.yml b/.github/workflows/separated-fold-multiplicity.yml index 91ae08f43..bedf4b2d2 100644 --- a/.github/workflows/separated-fold-multiplicity.yml +++ b/.github/workflows/separated-fold-multiplicity.yml @@ -15,11 +15,11 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false fetch-depth: 0 - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Authenticate historical interfaces and replay exact controls diff --git a/.github/workflows/side24-periodization-firstvar.yml b/.github/workflows/side24-periodization-firstvar.yml index d3e96a4ba..15d650c56 100644 --- a/.github/workflows/side24-periodization-firstvar.yml +++ b/.github/workflows/side24-periodization-firstvar.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/side24-periodization-remainder.yml b/.github/workflows/side24-periodization-remainder.yml index 51219e70a..59227d630 100644 --- a/.github/workflows/side24-periodization-remainder.yml +++ b/.github/workflows/side24-periodization-remainder.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/side24-remainder.yml b/.github/workflows/side24-remainder.yml index bd8b8a3f3..e788de7f4 100644 --- a/.github/workflows/side24-remainder.yml +++ b/.github/workflows/side24-remainder.yml @@ -20,10 +20,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Exact sources, both Python modes, semantic negative controls diff --git a/.github/workflows/side24-v1-coefficient-review.yml b/.github/workflows/side24-v1-coefficient-review.yml index d0f7d52ac..54fe93873 100644 --- a/.github/workflows/side24-v1-coefficient-review.yml +++ b/.github/workflows/side24-v1-coefficient-review.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants, replay the reviewed package diff --git a/.github/workflows/soft-closed-form.yml b/.github/workflows/soft-closed-form.yml index da14cfb6e..efb3b211d 100644 --- a/.github/workflows/soft-closed-form.yml +++ b/.github/workflows/soft-closed-form.yml @@ -22,10 +22,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/soft-fold-limit.yml b/.github/workflows/soft-fold-limit.yml index e9cc7f822..839b99a47 100644 --- a/.github/workflows/soft-fold-limit.yml +++ b/.github/workflows/soft-fold-limit.yml @@ -31,10 +31,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/soft-rejected-pairs.yml b/.github/workflows/soft-rejected-pairs.yml index 9359bc11a..a930f5334 100644 --- a/.github/workflows/soft-rejected-pairs.yml +++ b/.github/workflows/soft-rejected-pairs.yml @@ -31,10 +31,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/spectral-cluster-closure.yml b/.github/workflows/spectral-cluster-closure.yml index 9fed2e14d..efa7e789c 100644 --- a/.github/workflows/spectral-cluster-closure.yml +++ b/.github/workflows/spectral-cluster-closure.yml @@ -15,11 +15,11 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false fetch-depth: 0 - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Fetch exact public non-main source objects diff --git a/.github/workflows/third-order-rate.yml b/.github/workflows/third-order-rate.yml index 666bdbc6b..85859c3ca 100644 --- a/.github/workflows/third-order-rate.yml +++ b/.github/workflows/third-order-rate.yml @@ -31,10 +31,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants diff --git a/.github/workflows/two-scale-cluster-geometry.yml b/.github/workflows/two-scale-cluster-geometry.yml index 5dae60249..44911831e 100644 --- a/.github/workflows/two-scale-cluster-geometry.yml +++ b/.github/workflows/two-scale-cluster-geometry.yml @@ -20,11 +20,11 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false fetch-depth: 0 - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Fetch immutable non-base source objects diff --git a/.github/workflows/unrestricted-selection-difference.yml b/.github/workflows/unrestricted-selection-difference.yml index 88038843d..b30b9f80c 100644 --- a/.github/workflows/unrestricted-selection-difference.yml +++ b/.github/workflows/unrestricted-selection-difference.yml @@ -15,10 +15,10 @@ jobs: runs-on: ubuntu-latest timeout-minutes: 10 steps: - - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 + - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 with: persist-credentials: false - - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 + - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 with: python-version: '3.11.16' - name: Verify sources, replay both modes, reject mutants