Skip to content
Codecov coverage report

Do not define project(CBMC ...) twice to fix CMake failures #186

Sign in to view logs

Do not define project(CBMC ...) twice to fix CMake failures

Do not define project(CBMC ...) twice to fix CMake failures #186

Triggered via pull request September 3, 2024 09:59
@tautschnigtautschnig
synchronize #8435
tautschnig:debug-cmake-fail
Status Failure
Total duration 2m 38s
Artifacts –

coverage.yaml

on: pull_request
Linux
2m 29s
Linux
Fit to window
Zoom out
Zoom in

Annotations

1 error
Linux
Process completed with exit code 1.