History for org.overture.pog.tests.newtests

[Duration graph]
show count
BuildDescriptionDurationFailSkipTotal
overture-development » The Proof Obligation Generator #2895.4 sec084188
overture-development » The Proof Obligation Generator #2883.4 sec084188
overture-development » The Proof Obligation Generator #2874.3 sec084188
overture-development » The Proof Obligation Generator #2863.9 sec084188
overture-development » The Proof Obligation Generator #2853.3 sec084188
overture-development » The Proof Obligation Generator #2843.3 sec084188
overture-development » The Proof Obligation Generator #2836.3 sec084188
overture-development » The Proof Obligation Generator #2823.8 sec084188
overture-development » The Proof Obligation Generator #2813.6 sec084188
overture-development » The Proof Obligation Generator #2803.4 sec084188
overture-development » The Proof Obligation Generator #2793.5 sec084188
overture-development » The Proof Obligation Generator #2782.9 sec084188
overture-development » The Proof Obligation Generator #2773.5 sec084188
overture-development » The Proof Obligation Generator #2763.7 sec084188
overture-development » The Proof Obligation Generator #2753.5 sec084188
overture-development » The Proof Obligation Generator #2743 sec084188
overture-development » The Proof Obligation Generator #2733.6 sec084188
overture-development » The Proof Obligation Generator #2723.3 sec084188
overture-development » The Proof Obligation Generator #2713.7 sec084188
overture-development » The Proof Obligation Generator #2703.6 sec084188
overture-development » The Proof Obligation Generator #2693.4 sec084188
overture-development » The Proof Obligation Generator #2673.9 sec084188
overture-development » The Proof Obligation Generator #2663.7 sec084188
overture-development » The Proof Obligation Generator #2653.6 sec084188
Older