History for ModulesSlTypeCheckTest

[Duration graph]
show count
BuildDescriptionDurationFailSkipTotal
overture-development » The VDM Type Checker #2903.6 sec0073
overture-development » The VDM Type Checker #2896.2 sec0073
overture-development » The VDM Type Checker #2882.8 sec0073
overture-development » The VDM Type Checker #2873.3 sec0073
overture-development » The VDM Type Checker #2863 sec0073
overture-development » The VDM Type Checker #2852.9 sec0073
overture-development » The VDM Type Checker #2842.7 sec0073
overture-development » The VDM Type Checker #2834.3 sec0073
overture-development » The VDM Type Checker #2822.9 sec0073
overture-development » The VDM Type Checker #2813.2 sec0073
overture-development » The VDM Type Checker #2802.6 sec0073
overture-development » The VDM Type Checker #2792.5 sec0073
overture-development » The VDM Type Checker #2782.7 sec0073
overture-development » The VDM Type Checker #2772.6 sec0073
overture-development » The VDM Type Checker #2763.4 sec0073
overture-development » The VDM Type Checker #2753 sec0073
overture-development » The VDM Type Checker #2743.3 sec0073
overture-development » The VDM Type Checker #2733.4 sec0073
overture-development » The VDM Type Checker #2722.7 sec0073
overture-development » The VDM Type Checker #2712.4 sec0073
overture-development » The VDM Type Checker #2703.2 sec0073
overture-development » The VDM Type Checker #2692.7 sec0073
overture-development » The VDM Type Checker #2673.1 sec0073
overture-development » The VDM Type Checker #2663.5 sec0073
Older