Update dependency certora-cli to v7 #6504
checks.yml
on: pull_request
lint
26s
tests
4m 12s
tests-upgradeable
4m 41s
tests-foundry
3m 25s
coverage
10m 6s
harnesses
32s
slither
3m 1s
codespell
14s