Skip to content
Test cvc5

Add conflicts on solvers versions outside depopt range #34

Sign in to view logs

Add conflicts on solvers versions outside depopt range

Add conflicts on solvers versions outside depopt range #34

Triggered via push June 27, 2024 13:58
@filipeomfilipeom
pushed c302da4
main
Status Success
Total duration 3m 39s
Artifacts –

test-cvc5.yml

on: push
test-cvc5
3m 26s
test-cvc5
Fit to window
Zoom out
Zoom in