Skip to content

operational-rigor §4: a check's name is not its coverage - #57

Merged
F-e-u-e-r merged 6 commits into
F-e-u-e-r:mainfrom
firaen22:mine-check-name-not-coverage
Jul 22, 2026
Merged

operational-rigor §4: a check's name is not its coverage#57
F-e-u-e-r merged 6 commits into
F-e-u-e-r:mainfrom
firaen22:mine-check-name-not-coverage

operational-rigor: fix the runs/passes/correct pointer direction (PR …

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

Annotations

1 warning
consistency
succeeded Jul 22, 2026 in 7s