Do not define project(CBMC ...) twice to fix CMake failures #6397
Triggered via pull request
September 3, 2024 12:08
tautschnig
Status
Success
Total duration
30m 53s
Artifacts
–