Skip to content
CI

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

Sign in to view logs

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

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

Triggered via push September 12, 2023 20:39
@yoni206yoni206
pushed ecc2170
main
Status Success
Total duration 46m 14s
Artifacts 1

ci.yml

on: push
update-pr
0s
update-pr
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
documentation Expired
13.4 MB