Upgrade certora spec files and CI to certora-cli v6 #428
mmv08
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
5 errors
|
verify (verifySignatures.sh)
Process completed with exit code 1.
|
|
verify (verifyOwners.sh)
The job was canceled because "verifySignatures_sh" failed.
|
|
verify (verifyOwners.sh)
The operation was canceled.
|
|
verify (verifyModules.sh)
The job was canceled because "verifySignatures_sh" failed.
|
|
verify (verifyModules.sh)
The operation was canceled.
|