Skip to content

fix(ci): require write+ for Mantis label-triggered proof runs - #4

Merged
shrad3r merged 734 commits into
mainfrom
fix/mantis-label-auth-bypass
Jul 1, 2026
Merged

fix(ci): require write+ for Mantis label-triggered proof runs#4
shrad3r merged 734 commits into
mainfrom
fix/mantis-label-auth-bypass

test(ci): align Mantis label auth test with write+ gate

e9d41c2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar