Skip to content
Back to pull request #5445

Fix the CLI output of formal verification runs #8142

Sign in to view logs

Fix the CLI output of formal verification runs

Fix the CLI output of formal verification runs #8142

Run time

Learn about OS pricing on GitHub Actions
Job Run time
codespell
8s
lint
36s
coverage
15m 33s
harnesses
26s
slither
2m 5s
tests
5m 13s
tests-foundry
3m 48s
tests-upgradeable
6m 34s
34m 23s