Skip to content
CI

Use smt-switch version patched with fixes for static compilation (#334) #315

Sign in to view logs

Use smt-switch version patched with fixes for static compilation (#334)

Use smt-switch version patched with fixes for static compilation (#334) #315

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ubuntu-latest
9m 1s
macos-latest
8m 43s
17m 44s