Skip to content
Boogie CI

Add options to detect brittleness across multiple runs and portfolio results. #1355

Sign in to view logs

Add options to detect brittleness across multiple runs and portfolio results.

Add options to detect brittleness across multiple runs and portfolio results. #1355

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Boogie CI (Debug, batch_mode=True)
11m 38s
Boogie CI (Debug, batch_mode=False)
11m 9s
Boogie CI (Release, batch_mode=True)
10m 59s
Boogie CI (Release, batch_mode=False)
11m 20s
45m 6s