Build Xen with CPROVER tools

Add -Denable_marchnative=true option #7916

Sign in to view logs

Summary
Jobs
- CompileXen
Run details
- Usage
- Workflow file

Re-run triggered July 19, 2023 15:11

#6029

rurban:march-native

Status Success

Total duration 11m 44s

Artifacts –

build-and-test-Xen.yaml

on: pull_request