some documentation · yoni206/cvc5@fd4e9b6

Triggered via push May 7, 2024 08:05

yoni206

8798

Status Cancelled

Total duration 27m 0s

Artifacts 1

ci.yml

on: push

Matrix: build

2 errors

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

Canceling since a higher priority waiting request for 'build-refs/heads/8798-ubuntu:production-dbg-true' exists

Produced during runtime

Name	Size
documentation Expired	4.3 MB