Skip to content
CI

Update smt-switch version to stanford-centaur/smt-switch@c85ee3b2ef44de8d06cd45dcb15ac9c00b4fe5cf #350

Sign in to view logs

Update smt-switch version to stanford-centaur/smt-switch@c85ee3b2ef44de8d06cd45dcb15ac9c00b4fe5cf

Update smt-switch version to stanford-centaur/smt-switch@c85ee3b2ef44de8d06cd45dcb15ac9c00b4fe5cf #350

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ubuntu-latest
16m 47s
macos-latest
9m 47s
26m 34s