Docker Image CI

chore: adjust behavior of no verbose #120

Sign in to view logs

Triggered via push September 25, 2023 23:53

sorawee

main

Status Success

Total duration 22m 40s

Artifacts –

docker-image.yml

on: push

test-solve-with-z3

test-solve-with-cvc5

performance-test

test-circom-mode

Publish Docker image to DockerHub