Skip to content
Docker Image CI

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

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 #27

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-solve-with-cvc5
1m 6s
test
55s
test-solve-with-z3
1m 4s
Publish Docker image to DockerHub
0s
3m 5s