refactor(certora): extract allowedRequestStateChanges rule into own…
#959
0x-r4bbitci.yml
on: push
formatting
46s
test
1m 44s
Matrix: verify
Annotations
4 errors
|
verify (verify:state_changes)
Process completed with exit code 127.
|
|
verify (verify:marketplace)
Process completed with exit code 127.
|
|
test
Canceling since a higher priority waiting request for 'CI-refs/heads/refactor/extract-spec' exists
|
|
test
The operation was canceled.
|