Exclude 0x42... predeploys address space from being a message signer #280
Triggered via pull request
November 8, 2024 04:09
kasperpawlowski
Status
Cancelled
Total duration
3m 14s
Artifacts
–
checkrules.yml
on: pull_request
Run Certora prover on all configs
3m 4s
Annotations
2 errors
|
Run Certora prover on all configs
Canceling since a higher priority waiting request for 'checkrules-refs/pull/178/merge' exists
|
|
Run Certora prover on all configs
The operation was canceled.
|