History for org.overture.typechecker.tests

[Duration graph]
show count
BuildDescriptionDurationFailSkipTotal
overture-pvj-main » The VDM Type Checker #1673.7 sec00131
overture-pvj-main » The VDM Type Checker #1659.8 sec00131