Skip to content
Boogie CI

Add :reproducible_resource_limit attribute #1360

Sign in to view logs

Add :reproducible_resource_limit attribute

Add :reproducible_resource_limit attribute #1360

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Boogie CI (Debug, batch_mode=True)
11m 59s
Boogie CI (Debug, batch_mode=False)
10m 12s
Boogie CI (Release, batch_mode=True)
10m 39s
Boogie CI (Release, batch_mode=False)
12m 1s
44m 51s