CI

refactor(certora): extract `allowedRequestStateChanges` rule into own… #959

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting	46s
verify (verify:marketplace)	51s
test	1m 44s
verify (verify:state_changes)	50s
	4m 11s