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