fix: upgrade prover version to 7.26.0 #236
miguelmtzinffoundry-gas-diff.yml
on: pull_request
compare_gas_reports
13m 53s
Annotations
1 error
|
compare_gas_reports
No workflow run found with an artifact named "main.gasreport.ansi"
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
certora-prover-726.gasreport.ansi
Expired
|
4.85 KB |
sha256:20dcfd7d5e3ba5c40a6119339151e92d7fc0617585ad85059c4d6addc296fb2b
|
|