Skip to content
CI

Merge branch 'main' of https://github.com/cvc5/cvc5 #1471

Sign in to view logs

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

Merge branch 'main' of https://github.com/cvc5/cvc5 #1471

Triggered via push August 19, 2024 23:31
@yoni206yoni206
pushed fcfaae8
main
Status Success
Total duration 31m 6s
Artifacts 1

ci.yml

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

Artifacts

Produced during runtime
Name Size
documentation Expired
4.83 MB