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