Skip to content
Boogie CI

Update version number #1934

# to view logs

Update version number

Update version number #1934

Run time

Learn about OS # on GitHub Actions
Job Run time
Boogie CI (Debug, batch_mode=True)
2m 54s
Boogie CI (Debug, batch_mode=True)
4m 28s
Boogie CI (Debug, batch_mode=True)
4m 28s
Boogie CI (Debug, batch_mode=True)
4m 28s
Boogie CI (Debug, batch_mode=False)
3m 9s
Boogie CI (Debug, batch_mode=False)
3m 9s
Boogie CI (Debug, batch_mode=False)
3m 8s
Boogie CI (Debug, batch_mode=False)
4m 54s
Boogie CI (Release, batch_mode=True)
3m 9s
Boogie CI (Release, batch_mode=True)
3m 9s
Boogie CI (Release, batch_mode=True)
2m 59s
Boogie CI (Release, batch_mode=True)
4m 29s
Boogie CI (Release, batch_mode=False)
3m 10s
Boogie CI (Release, batch_mode=False)
3m 10s
Boogie CI (Release, batch_mode=False)
3m 16s
Boogie CI (Release, batch_mode=False)
4m 41s
58m 41s