Skip to content
CI

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

Sign in to view logs

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

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

Triggered via push August 17, 2024 14:45
@yoni206yoni206
pushed 2dd70ba
main
Status Success
Total duration 37m 53s
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