Skip to content
checks

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

Triggered via pull request January 21, 2025 06:29
@mdqstmdqst
opened #5445
mdqst:patch-6
Status Success
Total duration 15m 42s
Artifacts –

checks.yml

on: pull_request
lint
36s
lint
tests
5m 13s
tests
tests-upgradeable
6m 34s
tests-upgradeable
tests-foundry
3m 48s
tests-foundry
coverage
15m 33s
coverage
harnesses
26s
harnesses
slither
2m 5s
slither
codespell
8s
codespell
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
codespell
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
harnesses
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
slither
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
tests-foundry
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
tests-upgradeable
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
coverage
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636