Skip to content
Build Xen with CPROVER tools

Build and infrastructure fixes for FreeBSD #8302

Sign in to view logs

Build and infrastructure fixes for FreeBSD

Build and infrastructure fixes for FreeBSD #8302

Triggered via pull request October 13, 2023 21:03
@tautschnigtautschnig
synchronize #7924
tautschnig:bugfixes/freebsd-build
Status Success
Total duration 14m 13s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build-and-test-Xen.yaml

on: pull_request
CompileXen
14m 0s
CompileXen
Fit to window
Zoom out
Zoom in