Skip to content
Boogie CI

Extend trust options #2092

Sign in to view logs

Extend trust options

Extend trust options #2092

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Boogie CI (Release, batch_mode=True)
4m 11s
Boogie CI (Release, batch_mode=False)
6m 0s
Boogie CI (Debug, batch_mode=True)
4m 40s
Boogie CI (Debug, batch_mode=False)
4m 27s
Boogie CI (Release, batch_mode=False)
6m 1s
Boogie CI (Debug, batch_mode=False)
4m 27s
Boogie CI (Release, batch_mode=True)
4m 11s
Boogie CI (Debug, batch_mode=True)
4m 40s
Boogie CI (Release, batch_mode=False)
4m 31s
Boogie CI (Debug, batch_mode=True)
4m 40s
Boogie CI (Release, batch_mode=True)
4m 11s
Boogie CI (Debug, batch_mode=False)
4m 27s
56m 26s