Skip to content
Boogie CI

feat: Verification coverage analysis for axioms #1772

# to view logs

feat: Verification coverage analysis for axioms

feat: Verification coverage analysis for axioms #1772

Run time

Learn about OS # on GitHub Actions
Job Run time
Boogie CI (Debug, batch_mode=True)
4m 43s
Boogie CI (Debug, batch_mode=True)
4m 43s
Boogie CI (Debug, batch_mode=True)
4m 43s
Boogie CI (Debug, batch_mode=False)
5m 0s
Boogie CI (Debug, batch_mode=False)
5m 0s
Boogie CI (Debug, batch_mode=False)
5m 0s
Boogie CI (Release, batch_mode=True)
5m 29s
Boogie CI (Release, batch_mode=True)
5m 29s
Boogie CI (Release, batch_mode=True)
5m 29s
Boogie CI (Release, batch_mode=False)
5m 52s
Boogie CI (Release, batch_mode=False)
5m 50s
Boogie CI (Release, batch_mode=False)
5m 32s
1h 2m 50s