Skip to content
Build Xen with CPROVER tools

Port the last user of static_analysist #8047

Sign in to view logs

Port the last user of static_analysist

Port the last user of static_analysist #8047

Triggered via pull request September 1, 2023 12:12
@martin-csmartin-cs
synchronize #6482
martin-cs:refactor/remove-static-analysis
Status Failure
Total duration 2m 47s
Artifacts –

build-and-test-Xen.yaml

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

Annotations

1 error
CompileXen
Process completed with exit code 2.