Skip to content
Boogie CI

TryInc series #2083

Sign in to view logs

TryInc series

TryInc series #2083

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Boogie CI (Debug, batch_mode=False)
4m 24s
Boogie CI (Release, batch_mode=True)
4m 7s
Boogie CI (Debug, batch_mode=True)
4m 23s
Boogie CI (Release, batch_mode=False)
4m 24s
17m 18s