Skip to content

fix(ci): re-pin rust-ci-reusable.yml past the toolchain-required-input fix#292

Merged
hyperpolymath merged 1 commit into
mainfrom
fix/repin-rust-ci-toolchain
Jul 1, 2026
Merged

fix(ci): re-pin rust-ci-reusable.yml past the toolchain-required-input fix#292
hyperpolymath merged 1 commit into
mainfrom
fix/repin-rust-ci-toolchain

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Pinned SHA predated standards#439 (fix(rust-ci): pass explicit toolchain: stable to SHA-pinned dtolnay action), so every run failed at "'toolchain' is a required input" before any real check executed — same class as squabbler's "Move 3: reusable-workflow pin drift". Re-pinned to standards main tip (7c9db0e5), at/after #439.

@hyperpolymath
hyperpolymath enabled auto-merge (squash) July 1, 2026 11:41
…t fix

Pinned SHA predated standards#439 (fix(rust-ci): pass explicit
toolchain: stable to SHA-pinned dtolnay action), so every run failed
at 'toolchain is a required input' before any real check executed.
Re-pinned to standards main tip (7c9db0e5), which is at/after #439.
@hyperpolymath
hyperpolymath force-pushed the fix/repin-rust-ci-toolchain branch from 3c2ebca to dbc6eec Compare July 1, 2026 12:06
@hyperpolymath
hyperpolymath merged commit a9632ce into main Jul 1, 2026
31 of 41 checks passed
@hyperpolymath
hyperpolymath deleted the fix/repin-rust-ci-toolchain branch July 1, 2026 12:06
hyperpolymath added a commit that referenced this pull request Jul 1, 2026
Reformats the Rust tree with `cargo fmt` under the re-pinned toolchain
(rustc 1.95.0 / rustfmt 1.9.0), addressing the formatting drift that has
been failing the **Cargo fmt** job of Rust CI on `main` (run 28516280339
class failures) since the 2026-07-01 re-pin (#292).

Before: `cargo fmt --check` reported 129 diffs across 85 files. This PR
commits the fmt output for **21 of those 85 files** — pure
whitespace/wrapping changes, no semantic edits.

**Partial-scope caveat**: the remaining 64 files (all of
`src/rust/provers/*.rs` in the fmt set, plus
`src/interfaces/graphql/{schema,resolvers}.rs`) also have fmt drift, but
their headers carry a non-canonical owner line (`ECHIDNA Project Team`,
no `Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>`), so the repo
pre-commit licence hook rejects them. Licence-header edits are
owner-gated (per CLAUDE.md: historical drift on individual files is
owner-managed, not reconciled in routine PRs), so those files are
excluded here and the `Cargo fmt` job will remain red until their
headers are owner-reconciled (or fmt-committed by the owner). Full list
in the PR discussion below if needed; `src/rust/main.rs` was never in
the fmt set.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-authored-by: Claude Fable 5 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant