History for org.overture.typechecker.tests.external

[Duration graph]
show count
BuildDescriptionDurationFailSkipTotal
overture-pvj-main » The VDM Type Checker #1677.9 sec401775
overture-pvj-main » The VDM Type Checker #16512 sec001775