Skip to content
Docker Image CI

ci: support timing out and optimization flag (#31) #102

Sign in to view logs

ci: support timing out and optimization flag (#31)

ci: support timing out and optimization flag (#31) #102

Triggered via push September 7, 2023 23:57
@shankarapailoorshankarapailoor
pushed affb4cc
main
Status Success
Total duration 22m 17s
Artifacts –

docker-image.yml

on: push
test-solve-with-z3
1m 17s
test-solve-with-z3
test-solve-with-cvc5
20m 52s
test-solve-with-cvc5
performance-test
1m 16s
performance-test
Publish Docker image to DockerHub
1m 8s
Publish Docker image to DockerHub
Fit to window
Zoom out
Zoom in