ci: support timing out and optimization flag #96
Triggered via pull request
September 6, 2023 19:59
sorawee
Status
Success
Total duration
22m 40s
Artifacts
–
docker-image.yml
on: pull_request
test-solve-with-z3
1m 43s
test-solve-with-cvc5
22m 30s
performance-test
1m 33s
Publish Docker image to DockerHub
0s