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

Triggered via pull request September 3, 2024 09:59
@tautschnigtautschnig
synchronize #8435
tautschnig:debug-cmake-fail
Status Success
Total duration 12m 6s
Artifacts –

build-and-test-Xen.yaml

on: pull_request
CompileXen
11m 58s
CompileXen
Fit to window
Zoom out
Zoom in