Skip to content
Code Review - Debug UI

Ignore some formal verification fixtures in code coverage (#308) #252

Sign in to view logs

Ignore some formal verification fixtures in code coverage (#308)

Ignore some formal verification fixtures in code coverage (#308) #252

Triggered via push December 4, 2024 01:39
@brittcyrbrittcyr
pushed 2232d1a
main
Status Success
Total duration 2m 11s
Artifacts –

ci-code-review-debug-ui.yml

on: push
Format
1m 13s
Format
Lint
1m 24s
Lint
Dependency check
9s
Dependency check
Build
2m 2s
Build
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Dependency check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Format
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
Build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636