Skip to content

fix(hygiene): enforce source hygiene in CI - #565

Merged
SamuelSchlesinger merged 2 commits into
mainfrom
fix/carry-lookahead-simp-only
Oct 23, 2026
Merged

SamuelSchlesinger merged 2 commits into
mainfrom
fix/carry-lookahead-simp-only

ci(hygiene): run the source hygiene check with simp checking

b71031e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
ci-checks
succeeded Oct 23, 2026 in 14m 27s