ci: support timing out and optimization flag #92
Triggered via pull request
September 6, 2023 17:31
sorawee
Status
Failure
Total duration
20m 49s
Artifacts
–
docker-image.yml
on: pull_request
test-solve-with-z3
1m 47s
test-solve-with-cvc5
20m 36s
performance-test
1m 44s
Publish Docker image to DockerHub
0s
Annotations
1 error
|
test-solve-with-cvc5
Process completed with exit code 1.
|