Skip to content
CodeQL

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

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 #6399

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Analyze (cpp)
29m 58s
Analyze (java)
15m 33s
Analyze (javascript)
15m 57s
Analyze (python)
16m 35s
1h 18m 3s