Skip to content
Jenkins
log in
Jenkins
overturetool
hdm/development
#2
Test Results
org.overture.typechecker.tests
ClassesPpTypeCheckTest
test[issue631-type-visibillity]
DISABLE 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.ClassesPpTypeCheckTest.test[issue631-type-visibillity]
Took 2 ms.
![[Jenkins]](/jenkins/static/785b2ad7/images/jenkins-header-logo-v2.svg){kind=logo}
