You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Triage: 1 red check surfaced by the citation PR #103 #105
#103 adds the author's ORCID iD to this repo's citation metadata (an estate-wide rollout; it touches no code and no workflow). The checks below are red on its head. The PR edits only citation metadata, which none of these checks reads; where a check is also red on the default branch it predates the PR, and where it is not, the section below says the cause is not yet established. Per the standing rule, a red check is an issue with acceptance criteria, not a merge blocker; this is that issue for this repo. Cross-cutting governance reds are tracked separately in hyperpolymath/standards#994.
Failing checks (1)
rust-ci / Cargo check + clippy + fmt
Also red on main @ ae96371 (2026-09-29).
Process completed with exit code 1.
Determine whether rust-ci / Cargo check + clippy + fmt is fixed, retired, or accepted with a documented exemption. It may not stay undetermined.
If fixed: the check is green on main, and the fix is in the repo — not continue-on-error, not a demotion to a warning.
Activity
docs(citation): add the author's ORCID (0000-0002-3078-6652) to citat…
ci(rust-ci): re-pin rust-ci-reusable past the toolchain-input breakage (
feat(gates): strict Rust CI, Creusot, SPARK and miniKanren reusable g…
feat(fix-scripts): repair the three workflow-pin defect classes; re-p…
corpus: three reflexive units for the gate-report defects behind cicd…
ci(rust-ci): call cicd-suite's strict Rust gate and add the Creusot g…
feat(rules): detect the three workflow-pin defect classes behind the …