History for org.overture.pog.tests

[Duration graph]
show count
BuildDescriptionDurationFailSkipTotal
overture-development » The Proof Obligation Generator #2890.29 sec007
overture-development » The Proof Obligation Generator #2880.18 sec007
overture-development » The Proof Obligation Generator #2870.22 sec007
overture-development » The Proof Obligation Generator #2860.2 sec007
overture-development » The Proof Obligation Generator #2850.25 sec007
overture-development » The Proof Obligation Generator #2840.24 sec007
overture-development » The Proof Obligation Generator #2830.46 sec007
overture-development » The Proof Obligation Generator #2820.19 sec007
overture-development » The Proof Obligation Generator #2810.14 sec007
overture-development » The Proof Obligation Generator #2800.17 sec007
overture-development » The Proof Obligation Generator #2790.14 sec007
overture-development » The Proof Obligation Generator #2780.16 sec007
overture-development » The Proof Obligation Generator #2770.21 sec007
overture-development » The Proof Obligation Generator #2760.17 sec007
overture-development » The Proof Obligation Generator #2750.18 sec007
overture-development » The Proof Obligation Generator #2740.15 sec007
overture-development » The Proof Obligation Generator #2730.17 sec007
overture-development » The Proof Obligation Generator #2720.18 sec007
overture-development » The Proof Obligation Generator #2710.2 sec007
overture-development » The Proof Obligation Generator #2700.2 sec007
overture-development » The Proof Obligation Generator #2690.18 sec007
overture-development » The Proof Obligation Generator #2670.18 sec007
overture-development » The Proof Obligation Generator #2660.15 sec007
overture-development » The Proof Obligation Generator #2650.2 sec007
Older