CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test	1m 38s
verify (verify:marketplace)	50s
formatting	45s
verify (verify:state_changes)	51s
	4m 4s