Skip to content
CI

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

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 #31546

Triggered via push February 20, 2025 14:15
@ajreynolajreynol
pushed 8e516c0
pfTrustId
Status Success
Total duration 32m 33s
Artifacts 1

ci.yml

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

Artifacts

Produced during runtime
Name Size
documentation
5.04 MB