Skip to content
Boogie CI

Extend trust options #2091

Sign in to view logs

Extend trust options

Extend trust options #2091

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Boogie CI (Release, batch_mode=True)
4m 3s
Boogie CI (Debug, batch_mode=True)
6m 6s
Boogie CI (Release, batch_mode=False)
4m 32s
Boogie CI (Debug, batch_mode=False)
4m 27s
Boogie CI (Debug, batch_mode=True)
4m 23s
Boogie CI (Release, batch_mode=True)
4m 3s
Boogie CI (Release, batch_mode=False)
4m 32s
Boogie CI (Debug, batch_mode=False)
4m 27s
36m 33s