Merge branch 'proof-new' into aletheError · HanielB/cvc5@09b0b5e

Triggered via push March 2, 2024 05:04

HanielB

aletheError

Status Cancelled

Total duration 31m 28s

Artifacts 1

ci.yml

on: push

Matrix: build

2 errors

Canceling since a higher priority waiting request for 'build-refs/heads/aletheError-macos:production-arm64-cross-true' exists

Canceling since a higher priority waiting request for 'build-refs/heads/aletheError-macos:production-true' exists

Produced during runtime

Name	Size
documentation Expired	4.15 MB