Skip to content
Boogie CI

Consistent augmented execution trace after multiple verification runs #1345

Sign in to view logs

Consistent augmented execution trace after multiple verification runs

Consistent augmented execution trace after multiple verification runs #1345

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Boogie CI (Debug, batch_mode=True)
9m 6s
Boogie CI (Debug, batch_mode=False)
9m 24s
Boogie CI (Release, batch_mode=True)
9m 25s
Boogie CI (Release, batch_mode=False)
9m 23s
37m 18s