Skip to content
Build Xen with CPROVER tools

Add namespacet::follow_struct_union_tag to simplify follow_tag uses #9017

Sign in to view logs

Add namespacet::follow_struct_union_tag to simplify follow_tag uses

Add namespacet::follow_struct_union_tag to simplify follow_tag uses #9017

Triggered via pull request March 22, 2024 11:21
@tautschnigtautschnig
synchronize #8248
tautschnig:features/follow-struct_union_tag
Status Success
Total duration 21m 10s
Artifacts –

build-and-test-Xen.yaml

on: pull_request
CompileXen
21m 2s
CompileXen
Fit to window
Zoom out
Zoom in