Proof: required check must block - #1

Closed

cezaraugusto wants to merge 1 commit into

mainfrom

prove-required-check-fails

Commits on Jul 31, 2026

Plant a break to prove the required check can fail
cezaraugusto
committed
7b28325