ci: support timing out and optimization flag #94
soraweedocker-image.yml
on: pull_request
test-solve-with-z3
1m 28s
test-solve-with-cvc5
21m 54s
performance-test
1m 35s
Publish Docker image to DockerHub
0s
Annotations
1 error
|
test-solve-with-cvc5
Process completed with exit code 1.
|