Skip to content
Build Xen with CPROVER tools

introduce 'fatal assertions' #9040

Sign in to view logs

introduce 'fatal assertions'

introduce 'fatal assertions' #9040

Triggered via pull request March 23, 2024 23:14
@kroeningkroening
synchronize #8226
fatal-assertions
Status Success
Total duration 12m 1s
Artifacts –

build-and-test-Xen.yaml

on: pull_request
CompileXen
11m 52s
CompileXen
Fit to window
Zoom out
Zoom in