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

Back to Project

Status

Changes

Console Output

View Build Information

History

Embeddable Build Status

Previous Build

Next Build

History for org.overture.typechecker.tests.external

show count

Build	Description	Duration	Fail	Skip	Total
overture-development » The VDM Type Checker #290		8.9 sec	0	0	1775
overture-development » The VDM Type Checker #289		18 sec	0	0	1775
overture-development » The VDM Type Checker #288		9.9 sec	0	0	1775
overture-development » The VDM Type Checker #287		12 sec	0	0	1775
overture-development » The VDM Type Checker #286		9.5 sec	0	0	1775
overture-development » The VDM Type Checker #285		7.2 sec	0	0	1775
overture-development » The VDM Type Checker #284		8.9 sec	0	0	1775
overture-development » The VDM Type Checker #283		35 sec	0	0	1775
overture-development » The VDM Type Checker #282		10 sec	0	0	1775
overture-development » The VDM Type Checker #281		8.1 sec	0	0	1775
overture-development » The VDM Type Checker #280		9 sec	0	0	1775
overture-development » The VDM Type Checker #279		10 sec	0	0	1775
overture-development » The VDM Type Checker #278		8.3 sec	0	0	1775
overture-development » The VDM Type Checker #277		8 sec	0	0	1775
overture-development » The VDM Type Checker #276		9.2 sec	0	0	1775
overture-development » The VDM Type Checker #275		10 sec	0	0	1775
overture-development » The VDM Type Checker #274		8 sec	0	0	1775
overture-development » The VDM Type Checker #273		7.8 sec	0	0	1775
overture-development » The VDM Type Checker #272		8.6 sec	0	0	1775
overture-development » The VDM Type Checker #271		8.1 sec	0	0	1775
overture-development » The VDM Type Checker #270		7.8 sec	0	0	1775
overture-development » The VDM Type Checker #269		6.7 sec	0	0	1775
overture-development » The VDM Type Checker #267		10 sec	0	0	1775
overture-development » The VDM Type Checker #266		11 sec	0	0	1775

Older