Skip to content
Build Xen with CPROVER tools

Run again tests with new default checks #8643

Sign in to view logs

Run again tests with new default checks

Run again tests with new default checks #8643

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

build-and-test-Xen.yaml

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