Skip to content
Build Xen with CPROVER tools

Add missing cleanup #7901

Sign in to view logs

Add missing cleanup

Add missing cleanup #7901

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

build-and-test-Xen.yaml

on: pull_request
CompileXen
13m 46s
CompileXen
Fit to window
Zoom out
Zoom in