Skip to content
Docker Image CI

ci: improve the output #86

Sign in to view logs

ci: improve the output

ci: improve the output #86

Triggered via push August 31, 2023 15:28
@soraweesorawee
pushed 0013e5c
main
Status Success
Total duration 10m 50s
Artifacts –

docker-image.yml

on: push
test-solve-with-z3
1m 24s
test-solve-with-z3
test-solve-with-cvc5
9m 30s
test-solve-with-cvc5
performance-test
1m 33s
performance-test
Publish Docker image to DockerHub
1m 1s
Publish Docker image to DockerHub
Fit to window
Zoom out
Zoom in