Update · ajreynol/CVC4@0bfb785

Triggered via push January 28, 2025 15:33

ajreynol

pfTrustId

Status Cancelled

Total duration 15m 5s

Artifacts 1

ci.yml

on: push

Matrix: builds

2 errors

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

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

Produced during runtime

Name	Size
documentation	4.91 MB