History for org.overture.typechecker.tests [Jenkins]

History for org.overture.typechecker.tests

show count

Build	Description	Duration	Fail	Skip	Total
overture-development » The VDM Type Checker #290		5 sec	0	0	131
overture-development » The VDM Type Checker #289		12 sec	0	0	131
overture-development » The VDM Type Checker #288		4.3 sec	0	0	131
overture-development » The VDM Type Checker #287		4.9 sec	0	0	131
overture-development » The VDM Type Checker #286		4.6 sec	0	0	131
overture-development » The VDM Type Checker #285		4.2 sec	0	0	131
overture-development » The VDM Type Checker #284		4.2 sec	0	0	131
overture-development » The VDM Type Checker #283		6.7 sec	0	0	131
overture-development » The VDM Type Checker #282		4.3 sec	0	0	131
overture-development » The VDM Type Checker #281		4.6 sec	0	0	131
overture-development » The VDM Type Checker #280		3.9 sec	0	0	131
overture-development » The VDM Type Checker #279		4.1 sec	0	0	131
overture-development » The VDM Type Checker #278		4.1 sec	0	0	131
overture-development » The VDM Type Checker #277		3.8 sec	0	0	131
overture-development » The VDM Type Checker #276		4.9 sec	0	0	131
overture-development » The VDM Type Checker #275		4.4 sec	0	0	131
overture-development » The VDM Type Checker #274		4.7 sec	0	0	131
overture-development » The VDM Type Checker #273		4.8 sec	0	0	131
overture-development » The VDM Type Checker #272		4.1 sec	0	0	131
overture-development » The VDM Type Checker #271		3.5 sec	0	0	131
overture-development » The VDM Type Checker #270		4.5 sec	0	0	131
overture-development » The VDM Type Checker #269		4 sec	0	0	131
overture-development » The VDM Type Checker #267		4.6 sec	0	0	131
overture-development » The VDM Type Checker #266		4.9 sec	0	0	131

Older