History for org.overture.typechecker.tests

[Duration graph]
show count
BuildDescriptionDurationFailSkipTotal
overture-development » The VDM Type Checker #2905 sec00131
overture-development » The VDM Type Checker #28912 sec00131
overture-development » The VDM Type Checker #2884.3 sec00131
overture-development » The VDM Type Checker #2874.9 sec00131
overture-development » The VDM Type Checker #2864.6 sec00131
overture-development » The VDM Type Checker #2854.2 sec00131
overture-development » The VDM Type Checker #2844.2 sec00131
overture-development » The VDM Type Checker #2836.7 sec00131
overture-development » The VDM Type Checker #2824.3 sec00131
overture-development » The VDM Type Checker #2814.6 sec00131
overture-development » The VDM Type Checker #2803.9 sec00131
overture-development » The VDM Type Checker #2794.1 sec00131
overture-development » The VDM Type Checker #2784.1 sec00131
overture-development » The VDM Type Checker #2773.8 sec00131
overture-development » The VDM Type Checker #2764.9 sec00131
overture-development » The VDM Type Checker #2754.4 sec00131
overture-development » The VDM Type Checker #2744.7 sec00131
overture-development » The VDM Type Checker #2734.8 sec00131
overture-development » The VDM Type Checker #2724.1 sec00131
overture-development » The VDM Type Checker #2713.5 sec00131
overture-development » The VDM Type Checker #2704.5 sec00131
overture-development » The VDM Type Checker #2694 sec00131
overture-development » The VDM Type Checker #2674.6 sec00131
overture-development » The VDM Type Checker #2664.9 sec00131
Older