Skip to content
Boogie CI

Avoid adding duplicate coverage IDs #1968

Sign in to view logs

Avoid adding duplicate coverage IDs

Avoid adding duplicate coverage IDs #1968

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Boogie CI (Debug, batch_mode=False)
3m 39s
Boogie CI (Release, batch_mode=False)
3m 35s
Boogie CI (Release, batch_mode=True)
3m 35s
Boogie CI (Debug, batch_mode=True)
3m 19s
Boogie CI (Release, batch_mode=True)
4m 31s
Boogie CI (Release, batch_mode=False)
4m 33s
Boogie CI (Debug, batch_mode=True)
4m 40s
Boogie CI (Debug, batch_mode=False)
5m 6s
32m 58s