Skip to content
Docker Image CI

Make cvc5 default #127

Sign in to view logs

Make cvc5 default

Make cvc5 default #127

Triggered via push September 28, 2023 01:54
@soraweesorawee
pushed d56518c
main
Status Success
Total duration 23m 10s
Artifacts –

docker-image.yml

on: push
test-solve-with-z3
1m 25s
test-solve-with-z3
test-solve-with-cvc5
21m 38s
test-solve-with-cvc5
performance-test
1m 20s
performance-test
test-circom-mode
1m 14s
test-circom-mode
Publish Docker image to DockerHub
1m 13s
Publish Docker image to DockerHub
Fit to window
Zoom out
Zoom in