History for ClassesRtTypeCheckTest

[Duration graph]
show count
BuildDescriptionDurationFailSkipTotal
overture-development » The VDM Type Checker #2900.53 sec0011
overture-development » The VDM Type Checker #2893.9 sec0011
overture-development » The VDM Type Checker #2880.56 sec0011
overture-development » The VDM Type Checker #2870.62 sec0011
overture-development » The VDM Type Checker #2860.54 sec0011
overture-development » The VDM Type Checker #2850.46 sec0011
overture-development » The VDM Type Checker #2840.6 sec0011
overture-development » The VDM Type Checker #2831 sec0011
overture-development » The VDM Type Checker #2820.49 sec0011
overture-development » The VDM Type Checker #2810.51 sec0011
overture-development » The VDM Type Checker #2800.43 sec0011
overture-development » The VDM Type Checker #2790.54 sec0011
overture-development » The VDM Type Checker #2780.6 sec0011
overture-development » The VDM Type Checker #2770.4 sec0011
overture-development » The VDM Type Checker #2760.57 sec0011
overture-development » The VDM Type Checker #2750.51 sec0011
overture-development » The VDM Type Checker #2740.51 sec0011
overture-development » The VDM Type Checker #2730.51 sec0011
overture-development » The VDM Type Checker #2720.57 sec0011
overture-development » The VDM Type Checker #2710.38 sec0011
overture-development » The VDM Type Checker #2700.58 sec0011
overture-development » The VDM Type Checker #2690.54 sec0011
overture-development » The VDM Type Checker #2670.64 sec0011
overture-development » The VDM Type Checker #2660.45 sec0011
Older