Skip to content
CI

Update smt-switch version to stanford-centaur/smt-switch@1b60bb2728d5… #362

Sign in to view logs

Update smt-switch version to stanford-centaur/smt-switch@1b60bb2728d5…

Update smt-switch version to stanford-centaur/smt-switch@1b60bb2728d5… #362

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ubuntu-latest
16m 47s
macos-latest
10m 58s
27m 45s