Build Xen with CPROVER tools

Fix `va_list` types for `__CPROVER_OBJECT_SIZE` in ARM64 Linux #8031

Sign in to view logs

Summary
Jobs
- CompileXen
Run details
- Usage
- Workflow file

Triggered via pull request August 23, 2023 19:49

adpaco-aws

opened #7863

adpaco-aws:issue-7862

Status Success

Total duration 11m 25s

Artifacts –

build-and-test-Xen.yaml

on: pull_request