From 233acf7d5dc67342feff80b3003603387521c875 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Sat, 17 Oct 2026 19:54:55 +0000 Subject: [PATCH 1/3] Bump the github-actions group with 2 updates Bumps the github-actions group with 2 updates: [actions/upload-artifact](https://github.com/actions/upload-artifact) and [leanprover/lean-action](https://github.com/leanprover/lean-action). Updates `actions/upload-artifact` from 4.6.2 to 7.0.2 - [Release notes](https://github.com/actions/upload-artifact/releases) - [Commits](https://github.com/actions/upload-artifact/compare/v4.6.2...cf430e030ddbb5b0abf93d22962f4752f3646cd9) Updates `leanprover/lean-action` from 1.6.1 to 1.6.2 - [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/f061402b660e0c34644504b324e830f2991d4865...24581d74d674803a25a81b10b059c5c0cdd344c6) --- updated-dependencies: - dependency-name: actions/upload-artifact dependency-version: 7.0.2 dependency-type: direct:production update-type: version-update:semver-major dependency-group: github-actions - dependency-name: leanprover/lean-action dependency-version: 1.6.2 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: github-actions ... Signed-off-by: dependabot[bot] --- .github/workflows/cap-first-exit-lean.yml | 2 +- .github/workflows/d2-atom-integral.yml | 2 +- .github/workflows/d2-moment-bridge.yml | 2 +- .github/workflows/d2-square-schur.yml | 2 +- .github/workflows/em-intermediate-elder.yml | 2 +- .github/workflows/formal-lean.yml | 2 +- .github/workflows/lean-specification-proofs.yml | 4 ++-- .github/workflows/lean-specifications.yml | 4 ++-- .github/workflows/lifetime-c3r-rate.yml | 2 +- .github/workflows/lifetime-c7-elder.yml | 2 +- .github/workflows/lifetime-dd-model-d.yml | 2 +- .github/workflows/lifetime-v24-dc-sign.yml | 2 +- .github/workflows/planar-compact-k-chain.yml | 2 +- .github/workflows/tl-soft-layer.yml | 2 +- .github/workflows/torus-filtration.yml | 2 +- .github/workflows/ts-small-kappa.yml | 2 +- 16 files changed, 18 insertions(+), 18 deletions(-) diff --git a/.github/workflows/cap-first-exit-lean.yml b/.github/workflows/cap-first-exit-lean.yml index 2ca2252fe..c93210c7d 100644 --- a/.github/workflows/cap-first-exit-lean.yml +++ b/.github/workflows/cap-first-exit-lean.yml @@ -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@f061402b660e0c34644504b324e830f2991d4865 + uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 with: lake-package-directory: frontiers/cap_first_exit_lean_20261002 auto-config: 'false' diff --git a/.github/workflows/d2-atom-integral.yml b/.github/workflows/d2-atom-integral.yml index bcba3e01b..70100d320 100644 --- a/.github/workflows/d2-atom-integral.yml +++ b/.github/workflows/d2-atom-integral.yml @@ -30,7 +30,7 @@ jobs: persist-credentials: false fetch-depth: 0 - name: Install pinned Lean and retrieve dependency cache - uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 + uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 with: lake-package-directory: formal auto-config: 'false' diff --git a/.github/workflows/d2-moment-bridge.yml b/.github/workflows/d2-moment-bridge.yml index 069d028c5..3f517afd9 100644 --- a/.github/workflows/d2-moment-bridge.yml +++ b/.github/workflows/d2-moment-bridge.yml @@ -25,7 +25,7 @@ jobs: with: persist-credentials: false - name: Install pinned Lean and retrieve dependency cache - uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 + uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 with: lake-package-directory: formal auto-config: 'false' diff --git a/.github/workflows/d2-square-schur.yml b/.github/workflows/d2-square-schur.yml index 8ea3f10ed..72c5243db 100644 --- a/.github/workflows/d2-square-schur.yml +++ b/.github/workflows/d2-square-schur.yml @@ -26,7 +26,7 @@ jobs: persist-credentials: false fetch-depth: 0 - name: Install pinned Lean and retrieve dependency cache - uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 + uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 with: lake-package-directory: formal auto-config: 'false' diff --git a/.github/workflows/em-intermediate-elder.yml b/.github/workflows/em-intermediate-elder.yml index a856d6c89..05c6f52ff 100644 --- a/.github/workflows/em-intermediate-elder.yml +++ b/.github/workflows/em-intermediate-elder.yml @@ -57,7 +57,7 @@ jobs: printf '%s\n' "$GITHUB_RUN_ID/$GITHUB_RUN_ATTEMPT" > "$out/run.txt" - name: Retain evidence on success or failure if: always() - uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 + uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 with: name: qs-replay-${{ strategy.job-index }}-${{ github.run_id }}-${{ github.run_attempt }} path: ${{ runner.temp }}/qs-replay-evidence/ diff --git a/.github/workflows/formal-lean.yml b/.github/workflows/formal-lean.yml index 1d64378fa..b9165ec9c 100644 --- a/.github/workflows/formal-lean.yml +++ b/.github/workflows/formal-lean.yml @@ -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@f061402b660e0c34644504b324e830f2991d4865 + uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 with: lake-package-directory: formal auto-config: 'false' diff --git a/.github/workflows/lean-specification-proofs.yml b/.github/workflows/lean-specification-proofs.yml index 2b847d847..1e202cd8f 100644 --- a/.github/workflows/lean-specification-proofs.yml +++ b/.github/workflows/lean-specification-proofs.yml @@ -33,7 +33,7 @@ jobs: python -B -O -S "$P/test_check.py" python -B -S "$P/check.py" - name: Install pinned Lean and retrieve the Mathlib cache - uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 + uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 with: lake-package-directory: specifications/lean_statement_proofs_20261011 auto-config: 'false' @@ -50,7 +50,7 @@ jobs: run: git diff --exit-code - name: Preserve logs and receipt if: always() - uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a + uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 with: name: lean-specification-proofs-${{ github.run_id }}-${{ github.run_attempt }} path: specifications/lean_statement_proofs_20261011/.lake/evidence/ diff --git a/.github/workflows/lean-specifications.yml b/.github/workflows/lean-specifications.yml index 9e20e91aa..c852f5313 100644 --- a/.github/workflows/lean-specifications.yml +++ b/.github/workflows/lean-specifications.yml @@ -34,7 +34,7 @@ jobs: python -B -O -S "$P/test_check.py" python -B -S "$P/check.py" - name: Install pinned Lean and retrieve the Mathlib cache - uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 + uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 with: lake-package-directory: specifications/lean_statements_20261010 auto-config: 'false' @@ -51,7 +51,7 @@ jobs: run: git diff --exit-code - name: Preserve logs and receipt if: always() - uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a + uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 with: name: lean-specifications-${{ github.run_id }}-${{ github.run_attempt }} path: specifications/lean_statements_20261010/.lake/evidence/ diff --git a/.github/workflows/lifetime-c3r-rate.yml b/.github/workflows/lifetime-c3r-rate.yml index 674ca881f..e055f93f9 100644 --- a/.github/workflows/lifetime-c3r-rate.yml +++ b/.github/workflows/lifetime-c3r-rate.yml @@ -54,7 +54,7 @@ jobs: printf '%s\n' "$GITHUB_RUN_ID/$GITHUB_RUN_ATTEMPT" > "$out/run.txt" - name: Retain evidence on success or failure if: always() - uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 + uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 with: name: qs-replay-${{ strategy.job-index }}-${{ github.run_id }}-${{ github.run_attempt }} path: ${{ runner.temp }}/qs-replay-evidence/ diff --git a/.github/workflows/lifetime-c7-elder.yml b/.github/workflows/lifetime-c7-elder.yml index b0495945f..50d81e0f4 100644 --- a/.github/workflows/lifetime-c7-elder.yml +++ b/.github/workflows/lifetime-c7-elder.yml @@ -57,7 +57,7 @@ jobs: printf '%s\n' "$GITHUB_RUN_ID/$GITHUB_RUN_ATTEMPT" > "$out/run.txt" - name: Retain evidence on success or failure if: always() - uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 + uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 with: name: qs-replay-${{ strategy.job-index }}-${{ github.run_id }}-${{ github.run_attempt }} path: ${{ runner.temp }}/qs-replay-evidence/ diff --git a/.github/workflows/lifetime-dd-model-d.yml b/.github/workflows/lifetime-dd-model-d.yml index ad2af08e3..e1a1ffda1 100644 --- a/.github/workflows/lifetime-dd-model-d.yml +++ b/.github/workflows/lifetime-dd-model-d.yml @@ -61,7 +61,7 @@ jobs: printf '%s\n' "$GITHUB_RUN_ID/$GITHUB_RUN_ATTEMPT" > "$out/run.txt" - name: Retain evidence on success or failure if: always() - uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 + uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 with: name: qs-replay-${{ strategy.job-index }}-${{ github.run_id }}-${{ github.run_attempt }} path: ${{ runner.temp }}/qs-replay-evidence/ diff --git a/.github/workflows/lifetime-v24-dc-sign.yml b/.github/workflows/lifetime-v24-dc-sign.yml index 77f7faf2a..9dd2d88e3 100644 --- a/.github/workflows/lifetime-v24-dc-sign.yml +++ b/.github/workflows/lifetime-v24-dc-sign.yml @@ -57,7 +57,7 @@ jobs: printf '%s\n' "$GITHUB_RUN_ID/$GITHUB_RUN_ATTEMPT" > "$out/run.txt" - name: Retain evidence on success or failure if: always() - uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 + uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 with: name: qs-replay-${{ strategy.job-index }}-${{ github.run_id }}-${{ github.run_attempt }} path: ${{ runner.temp }}/qs-replay-evidence/ diff --git a/.github/workflows/planar-compact-k-chain.yml b/.github/workflows/planar-compact-k-chain.yml index db70bebfd..08d1cc843 100644 --- a/.github/workflows/planar-compact-k-chain.yml +++ b/.github/workflows/planar-compact-k-chain.yml @@ -57,7 +57,7 @@ jobs: printf '%s\n' "$GITHUB_RUN_ID/$GITHUB_RUN_ATTEMPT" > "$out/run.txt" - name: Retain evidence on success or failure if: always() - uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 + uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 with: name: qs-replay-${{ strategy.job-index }}-${{ github.run_id }}-${{ github.run_attempt }} path: ${{ runner.temp }}/qs-replay-evidence/ diff --git a/.github/workflows/tl-soft-layer.yml b/.github/workflows/tl-soft-layer.yml index c5f25d06f..78b129ab1 100644 --- a/.github/workflows/tl-soft-layer.yml +++ b/.github/workflows/tl-soft-layer.yml @@ -57,7 +57,7 @@ jobs: printf '%s\n' "$GITHUB_RUN_ID/$GITHUB_RUN_ATTEMPT" > "$out/run.txt" - name: Retain evidence on success or failure if: always() - uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 + uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 with: name: qs-replay-${{ strategy.job-index }}-${{ github.run_id }}-${{ github.run_attempt }} path: ${{ runner.temp }}/qs-replay-evidence/ diff --git a/.github/workflows/torus-filtration.yml b/.github/workflows/torus-filtration.yml index 920bbcf0b..52d352bbc 100644 --- a/.github/workflows/torus-filtration.yml +++ b/.github/workflows/torus-filtration.yml @@ -34,7 +34,7 @@ jobs: with: persist-credentials: false - name: Install pinned Lean and retrieve dependency cache - uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 + uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 with: lake-package-directory: formal auto-config: 'false' diff --git a/.github/workflows/ts-small-kappa.yml b/.github/workflows/ts-small-kappa.yml index ad409c3ad..8bb1846b3 100644 --- a/.github/workflows/ts-small-kappa.yml +++ b/.github/workflows/ts-small-kappa.yml @@ -57,7 +57,7 @@ jobs: printf '%s\n' "$GITHUB_RUN_ID/$GITHUB_RUN_ATTEMPT" > "$out/run.txt" - name: Retain evidence on success or failure if: always() - uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 + uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 with: name: qs-replay-${{ strategy.job-index }}-${{ github.run_id }}-${{ github.run_attempt }} path: ${{ runner.temp }}/qs-replay-evidence/ From 9f54ed1676fa9a0deed5317cfaaed27b846de22c Mon Sep 17 00:00:00 2001 From: Dylan Roy <249851642+d6g8k5htny-coder@users.noreply.github.com> Date: Sat, 17 Oct 2026 15:53:49 -0500 Subject: [PATCH 2/3] ci: split upload-artifact update from Lean pin changes Restore the eight Lean-action workflow files to current main bytes, including the two specification workflows owned by #463. Retain only the disjoint upload-artifact v7 updates. --- .github/workflows/cap-first-exit-lean.yml | 2 +- .github/workflows/d2-atom-integral.yml | 2 +- .github/workflows/d2-moment-bridge.yml | 2 +- .github/workflows/d2-square-schur.yml | 2 +- .github/workflows/formal-lean.yml | 2 +- .github/workflows/lean-specification-proofs.yml | 4 ++-- .github/workflows/lean-specifications.yml | 4 ++-- .github/workflows/torus-filtration.yml | 2 +- 8 files changed, 10 insertions(+), 10 deletions(-) diff --git a/.github/workflows/cap-first-exit-lean.yml b/.github/workflows/cap-first-exit-lean.yml index c93210c7d..2ca2252fe 100644 --- a/.github/workflows/cap-first-exit-lean.yml +++ b/.github/workflows/cap-first-exit-lean.yml @@ -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@24581d74d674803a25a81b10b059c5c0cdd344c6 + uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 with: lake-package-directory: frontiers/cap_first_exit_lean_20261002 auto-config: 'false' diff --git a/.github/workflows/d2-atom-integral.yml b/.github/workflows/d2-atom-integral.yml index 70100d320..bcba3e01b 100644 --- a/.github/workflows/d2-atom-integral.yml +++ b/.github/workflows/d2-atom-integral.yml @@ -30,7 +30,7 @@ jobs: persist-credentials: false fetch-depth: 0 - name: Install pinned Lean and retrieve dependency cache - uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 + uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 with: lake-package-directory: formal auto-config: 'false' diff --git a/.github/workflows/d2-moment-bridge.yml b/.github/workflows/d2-moment-bridge.yml index 3f517afd9..069d028c5 100644 --- a/.github/workflows/d2-moment-bridge.yml +++ b/.github/workflows/d2-moment-bridge.yml @@ -25,7 +25,7 @@ jobs: with: persist-credentials: false - name: Install pinned Lean and retrieve dependency cache - uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 + uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 with: lake-package-directory: formal auto-config: 'false' diff --git a/.github/workflows/d2-square-schur.yml b/.github/workflows/d2-square-schur.yml index 72c5243db..8ea3f10ed 100644 --- a/.github/workflows/d2-square-schur.yml +++ b/.github/workflows/d2-square-schur.yml @@ -26,7 +26,7 @@ jobs: persist-credentials: false fetch-depth: 0 - name: Install pinned Lean and retrieve dependency cache - uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 + uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 with: lake-package-directory: formal auto-config: 'false' diff --git a/.github/workflows/formal-lean.yml b/.github/workflows/formal-lean.yml index b9165ec9c..1d64378fa 100644 --- a/.github/workflows/formal-lean.yml +++ b/.github/workflows/formal-lean.yml @@ -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@24581d74d674803a25a81b10b059c5c0cdd344c6 + uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 with: lake-package-directory: formal auto-config: 'false' diff --git a/.github/workflows/lean-specification-proofs.yml b/.github/workflows/lean-specification-proofs.yml index 1e202cd8f..2b847d847 100644 --- a/.github/workflows/lean-specification-proofs.yml +++ b/.github/workflows/lean-specification-proofs.yml @@ -33,7 +33,7 @@ jobs: python -B -O -S "$P/test_check.py" python -B -S "$P/check.py" - name: Install pinned Lean and retrieve the Mathlib cache - uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 + uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 with: lake-package-directory: specifications/lean_statement_proofs_20261011 auto-config: 'false' @@ -50,7 +50,7 @@ jobs: run: git diff --exit-code - name: Preserve logs and receipt if: always() - uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 + uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a with: name: lean-specification-proofs-${{ github.run_id }}-${{ github.run_attempt }} path: specifications/lean_statement_proofs_20261011/.lake/evidence/ diff --git a/.github/workflows/lean-specifications.yml b/.github/workflows/lean-specifications.yml index c852f5313..9e20e91aa 100644 --- a/.github/workflows/lean-specifications.yml +++ b/.github/workflows/lean-specifications.yml @@ -34,7 +34,7 @@ jobs: python -B -O -S "$P/test_check.py" python -B -S "$P/check.py" - name: Install pinned Lean and retrieve the Mathlib cache - uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 + uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 with: lake-package-directory: specifications/lean_statements_20261010 auto-config: 'false' @@ -51,7 +51,7 @@ jobs: run: git diff --exit-code - name: Preserve logs and receipt if: always() - uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 + uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a with: name: lean-specifications-${{ github.run_id }}-${{ github.run_attempt }} path: specifications/lean_statements_20261010/.lake/evidence/ diff --git a/.github/workflows/torus-filtration.yml b/.github/workflows/torus-filtration.yml index 52d352bbc..920bbcf0b 100644 --- a/.github/workflows/torus-filtration.yml +++ b/.github/workflows/torus-filtration.yml @@ -34,7 +34,7 @@ jobs: with: persist-credentials: false - name: Install pinned Lean and retrieve dependency cache - uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 + uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 with: lake-package-directory: formal auto-config: 'false' From dcc7f733da8996a42e4e1cd947806b9093ae9af7 Mon Sep 17 00:00:00 2001 From: Dylan Roy <249851642+d6g8k5htny-coder@users.noreply.github.com> Date: Sat, 17 Oct 2026 20:56:34 -0500 Subject: [PATCH 3/3] Preserve legacy replay executable mode --- tools/legacy_json_replay.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 tools/legacy_json_replay.py diff --git a/tools/legacy_json_replay.py b/tools/legacy_json_replay.py old mode 100644 new mode 100755