Skip to content
Build Xen with CPROVER tools

Introduce bitst and bytest to avoid bit/byte mix-up #9328

Sign in to view logs

Introduce bitst and bytest to avoid bit/byte mix-up

Introduce bitst and bytest to avoid bit/byte mix-up #9328

Triggered via pull request June 20, 2024 08:59
@tautschnigtautschnig
synchronize #7413
tautschnig:feature/bits-bytes
Status Success
Total duration 19m 54s
Artifacts –

build-and-test-Xen.yaml

on: pull_request
CompileXen
19m 44s
CompileXen
Fit to window
Zoom out
Zoom in