Skip to content
Boogie CI

Try increasing the timeout for individual lit tests, to make the test… #1697

Sign in to view logs

Try increasing the timeout for individual lit tests, to make the test…

Try increasing the timeout for individual lit tests, to make the test… #1697

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Boogie CI (Debug, batch_mode=True)
5m 6s
Boogie CI (Debug, batch_mode=False)
5m 31s
Boogie CI (Release, batch_mode=True)
5m 31s
Boogie CI (Release, batch_mode=False)
5m 36s
21m 44s