Skip to content

Proofline v4.5h: PL-CRIT01 and PL-NEXT2 (0.2.0-next.2) - #46

Merged
mgillr merged 5 commits into
mainfrom
pl-crit01
Oct 21, 2026
Merged

mgillr merged 5 commits into
mainfrom
pl-crit01

contract: track the approvals config with a portable relative path

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

Annotations

1 warning and 1 notice
gate
succeeded Oct 21, 2026 in 49s