History for ClassesPpTypeCheckTest

[Duration graph]
show count
BuildDescriptionDurationFailSkipTotal
overture-development » The VDM Type Checker #2900.9 sec0047
overture-development » The VDM Type Checker #2892 sec0047
overture-development » The VDM Type Checker #2880.99 sec0047
overture-development » The VDM Type Checker #2870.96 sec0047
overture-development » The VDM Type Checker #2860.97 sec0047
overture-development » The VDM Type Checker #2850.82 sec0047
overture-development » The VDM Type Checker #2840.94 sec0047
overture-development » The VDM Type Checker #2831.3 sec0047
overture-development » The VDM Type Checker #2820.89 sec0047
overture-development » The VDM Type Checker #2810.84 sec0047
overture-development » The VDM Type Checker #2800.8 sec0047
overture-development » The VDM Type Checker #2790.98 sec0047
overture-development » The VDM Type Checker #2780.82 sec0047
overture-development » The VDM Type Checker #2770.75 sec0047
overture-development » The VDM Type Checker #2760.92 sec0047
overture-development » The VDM Type Checker #2750.92 sec0047
overture-development » The VDM Type Checker #2740.87 sec0047
overture-development » The VDM Type Checker #2730.94 sec0047
overture-development » The VDM Type Checker #2720.76 sec0047
overture-development » The VDM Type Checker #2710.7 sec0047
overture-development » The VDM Type Checker #2700.69 sec0047
overture-development » The VDM Type Checker #2690.8 sec0047
overture-development » The VDM Type Checker #2670.95 sec0047
overture-development » The VDM Type Checker #2660.94 sec0047
Older