Skip to content
Build Xen with CPROVER tools

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
CompileXen
11m 58s
11m 58s