Skip to content
Build Xen with CPROVER tools

Run again tests with new default checks #8674

Sign in to view logs

Run again tests with new default checks

Run again tests with new default checks #8674

Triggered via pull request December 19, 2023 21:30
@esteffinesteffin
synchronize #8106
esteffin:esteffin/fixing-tests-new-default-checks
Status Success
Total duration 8m 15s
Artifacts –

build-and-test-Xen.yaml

on: pull_request
CompileXen
8m 5s
CompileXen
Fit to window
Zoom out
Zoom in