Skip to content
CI

Merge branch 'main' of https://github.com/cvc5/cvc5 into pfTrustId #28927

Sign in to view logs

Merge branch 'main' of https://github.com/cvc5/cvc5 into pfTrustId

Merge branch 'main' of https://github.com/cvc5/cvc5 into pfTrustId #28927

Triggered via push October 19, 2024 19:02
@ajreynolajreynol
pushed e764d86
pfTrustId
Status Success
Total duration 36m 36s
Artifacts 1

ci.yml

on: push
Matrix: builds
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
documentation Expired
4.82 MB