Update dependency certora-cli to v7 #7045
Triggered via pull request
September 2, 2024 13:30
renovate[bot]
Status
Success
Total duration
20m 13s
Artifacts
–
checks.yml
on: pull_request
lint
28s
tests
4m 43s
tests-upgradeable
5m 48s
tests-foundry
4m 2s
coverage
20m 3s
harnesses
23s
slither
3m 13s
codespell
12s