Skip to content
Build Xen with CPROVER tools

Declutter linking implementation #8804

Sign in to view logs

Declutter linking implementation

Declutter linking implementation #8804

Triggered via pull request January 24, 2024 13:58
@tautschnigtautschnig
opened #8168
tautschnig:cleanup/linking-cleanup
Status Success
Total duration 8m 17s
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
8m 2s
CompileXen
Fit to window
Zoom out
Zoom in