Skip to content
Docker Image CI

ci: run ci on pull_request and add basic tests #25

Sign in to view logs

ci: run ci on pull_request and add basic tests

ci: run ci on pull_request and add basic tests #25

Triggered via pull request August 22, 2023 22:08
@soraweesorawee
opened #8
sorawee:gha-ci
Status Success
Total duration 4m 15s
Artifacts –

docker-image.yml

on: pull_request
test-compile-circomlib
1m 14s
test-compile-circomlib
Publish Docker image to DockerHub
0s
Publish Docker image to DockerHub
test-solve-with-z3
2m 44s
test-solve-with-z3
test-solve-with-cvc5
2m 37s
test-solve-with-cvc5
Fit to window
Zoom out
Zoom in