Do not define project(CBMC ...) twice to fix CMake failures #668
Triggered via pull request
September 3, 2024 10:13
Status
Failure
Total duration
20m 43s
Artifacts
–
performance.yaml
on: pull_request
perf-benchcomp
15m 38s
Annotations
1 error
perf-benchcomp
Process completed with exit code 1.
|