Skip to content
Test cvc5

Release v0.1.2 #3

Sign in to view logs

Release v0.1.2

Release v0.1.2 #3

Triggered via push June 18, 2024 09:05
@filipeomfilipeom
pushed 2ac68b1
main
Status Success
Total duration 14m 22s
Artifacts –

test-cvc5.yml

on: push
test-cvc5
14m 13s
test-cvc5
Fit to window
Zoom out
Zoom in