refactor(certora): extract allowedRequestStateChanges rule into own
#961
0x-r4bbitci.yml
on: push
formatting
40s
test
2m 7s
Matrix: verify
Annotations
2 errors
|
verify (verify:marketplace)
Process completed with exit code 127.
|
|
verify (verify:state_changes)
Process completed with exit code 127.
|