Skip to content
Jenkins
log in
Jenkins
overturetool
hdm/development
#2
Test Results
org.overture.typechecker.tests
ModulesSlTypeCheckTest
test[CountryColouringSL]
ENABLE AUTO REFRESH
History
Git Build Data
See Fingerprints
Coverage Report
Test Result
Coverage Report
Maven
Open Tasks
Embeddable Build Status
Pipeline Steps
Workspaces
Previous Build
Next Build
Passed
org.overture.typechecker.tests.ModulesSlTypeCheckTest.test[CountryColouringSL]
Took 14 ms.
![[Jenkins]](/jenkins/static/4ffc0891/images/jenkins-header-logo-v2.svg){kind=logo}
