Skip to content
Test cvc5

Try to fix CI again #136

Sign in to view logs

Try to fix CI again

Try to fix CI again #136

Triggered via push September 14, 2024 18:01
@filipeomfilipeom
pushed 519f165
main
Status Success
Total duration 15m 49s
Artifacts –

test-cvc5.yml

on: push
test-cvc5
15m 41s
test-cvc5
Fit to window
Zoom out
Zoom in