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