Skip to content
Docker Image CI

Use temporary directory more effectively (#34) #109

Sign in to view logs

Use temporary directory more effectively (#34)

Use temporary directory more effectively (#34) #109

Triggered via push September 21, 2023 04:12
@shankarapailoorshankarapailoor
pushed daa20d1
main
Status Success
Total duration 24m 25s
Artifacts –

docker-image.yml

on: push
test-solve-with-z3
1m 34s
test-solve-with-z3
test-solve-with-cvc5
22m 36s
test-solve-with-cvc5
performance-test
1m 44s
performance-test
test-circom-mode
1m 6s
test-circom-mode
Publish Docker image to DockerHub
1m 25s
Publish Docker image to DockerHub
Fit to window
Zoom out
Zoom in