Skip to content
Uclid CI

add test to CI and remove control block to avoid needless solver call #689

Sign in to view logs

add test to CI and remove control block to avoid needless solver call

add test to CI and remove control block to avoid needless solver call #689

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-macos
9m 42s
test-ubuntu
10m 16s
19m 58s