Skip to content
Build Xen with CPROVER tools

Build and infrastructure fixes for FreeBSD #8644

Sign in to view logs

Build and infrastructure fixes for FreeBSD

Build and infrastructure fixes for FreeBSD #8644

Triggered via pull request December 18, 2023 15:25
@tautschnigtautschnig
synchronize #7924
tautschnig:bugfixes/freebsd-build
Status Success
Total duration 7m 49s
Artifacts –

build-and-test-Xen.yaml

on: pull_request
CompileXen
7m 39s
CompileXen
Fit to window
Zoom out
Zoom in