Skip to content
Build Xen with CPROVER tools

Add missing cleanup #7902

Sign in to view logs

Add missing cleanup

Add missing cleanup #7902

Triggered via pull request July 18, 2023 04:45
@tautschnigtautschnig
synchronize #7798
tautschnig:cleanup/cleaning
Status Success
Total duration 14m 34s
Artifacts –

build-and-test-Xen.yaml

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