Skip to content
Boogie CI

TryInc series #2085

Sign in to view logs

TryInc series

TryInc series #2085

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Boogie CI (Debug, batch_mode=False)
4m 41s
Boogie CI (Release, batch_mode=True)
4m 9s
Boogie CI (Release, batch_mode=False)
4m 55s
Boogie CI (Debug, batch_mode=True)
4m 18s
18m 3s