Skip to content

v0.30.0: two live defects a five-way review found, and the gates that stop them returning - #114

Merged
avrabe merged 14 commits into
mainfrom
plan/v0.30.0
Aug 28, 2026
Merged

v0.30.0: two live defects a five-way review found, and the gates that stop them returning#114
avrabe merged 14 commits into
mainfrom
plan/v0.30.0

v0.30.0 trace: verify what has evidence, and say why two cannot

6638b98
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar