Skip to content
Build Xen with CPROVER tools

CI: Use CaDiCaL on Windows #9487

Sign in to view logs

CI: Use CaDiCaL on Windows

CI: Use CaDiCaL on Windows #9487

Triggered via pull request August 21, 2024 08:59
@tautschnigtautschnig
opened #8422
tautschnig:win-ci-use-cadical
Status Success
Total duration 12m 3s
Artifacts –

build-and-test-Xen.yaml

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