Skip to content
Build Xen with CPROVER tools

Show xen properties #38

Sign in to view logs

Show xen properties

Show xen properties #38

Triggered via pull request January 22, 2024 10:49
@nmantheynmanthey
synchronize #6
show-xen-properties
Status Failure
Total duration 8m 9s
Artifacts –

build-and-test-Xen.yaml

on: pull_request
CompileXen
8m 2s
CompileXen
Fit to window
Zoom out
Zoom in

Annotations

1 error
CompileXen
Process completed with exit code 134.