refactor(certora): extract allowedRequestStateChanges rule into own
#962
0x-r4bbitci.yml
on: pull_request
formatting
43s
test
2m 17s
Matrix: verify
Annotations
2 errors and 4 warnings
|
verify (verify:state_changes)
Process completed with exit code 127.
|
|
verify (verify:marketplace)
Process completed with exit code 127.
|
|
verify (verify:marketplace)
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
verify (verify:marketplace)
Back off 19.42 seconds before retry.
|
|
verify (verify:marketplace)
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
verify (verify:marketplace)
Back off 25.967 seconds before retry.
|