Skip to content
Build Xen with CPROVER tools

Run again tests with new default checks #8652

Sign in to view logs

Run again tests with new default checks

Run again tests with new default checks #8652

Triggered via pull request December 18, 2023 23:11
@esteffinesteffin
synchronize #8106
esteffin:esteffin/fixing-tests-new-default-checks
Status Success
Total duration 9m 59s
Artifacts –

build-and-test-Xen.yaml

on: pull_request
CompileXen
9m 49s
CompileXen
Fit to window
Zoom out
Zoom in