Build Xen with CPROVER tools

Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) #9961

Sign in to view logs

This workflow is awaiting approval from a maintainer in #8465

Triggered via pull request March 2, 2025 12:19

yvizel

synchronize #8465

yvizel:develop

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #8465

build-and-test-Xen.yaml

on: pull_request