Update certora-cli to 7.3.0 #7116
Triggered via pull request
September 16, 2024 18:14
ernestognw
Status
Success
Total duration
21m 7s
Artifacts
–
checks.yml
on: pull_request
lint
47s
tests
5m 1s
tests-upgradeable
6m 17s
tests-foundry
3m 57s
coverage
20m 56s
harnesses
23s
slither
3m 38s
codespell
8s