feat: support processing circom file directly #104
Triggered via pull request
September 15, 2023 19:18
sorawee
Status
Success
Total duration
21m 3s
Artifacts
–
docker-image.yml
on: pull_request
test-solve-with-z3
1m 45s
test-solve-with-cvc5
20m 52s
performance-test
1m 43s
test-circom-mode
1m 9s
Publish Docker image to DockerHub
0s