Skip to content
Jenkins
log in
Dashboard
All
merge-branch-x-to-devel
#38
org.polarsys.chess.contracts.verificationService.test.runtime
Status
Changes
Console Output
View as plain text
View Build Information
Executed Mojos
Test Result
See Fingerprints
Previous Build
Next Build
Started 2 yr 4 mo ago
Took
31 sec
on centos-7-lxl1h
Success
org.polarsys.chess.contracts.verificationService.test.runtime (Jan 24, 2022, 4:24:39 AM)
Changes
Update timedModel oracles. (
details
)
Changes in dependency
org.polarsys.chess.smvExporter
Success
#37
→
Success
#38
(
detail
)
org.eclipse.papyrus.junit.utils
Success
#37
→
Success
#38
(
detail
)
org.polarsys.chess.validator
Success
#37
→
Success
#38
(
detail
)
org.polarsys.chess.diagram.ui
Success
#37
→
Success
#38
(
detail
)
org.polarsys.chess.chessmlprofile
Success
#37
→
Success
#38
(
detail
)
org.polarsys.chess.contracts.profile
Success
#37
→
Success
#38
(
detail
)
org.polarsys.chess.service
Success
#37
→
Success
#38
(
detail
)
org.polarsys.chess.core
Success
#37
→
Success
#38
(
detail
)
org.eclipse.papyrus.junit.framework
Success
#37
→
Success
#38
(
detail
)
org.polarsys.chess.contracts.validation
Success
#37
→
Success
#38
(
detail
)
org.polarsys.chess.contracts.verificationService
Success
#37
→
Success
#38
(
detail
)
org.polarsys.chess.contracts.integration
Success
#37
→
Success
#38
(
detail
)
org.polarsys.chess.contracts.transformations
Success
#37
→
Success
#38
(
detail
)
org.polarsys.chess.OSSImporter
Success
#37
→
Success
#38
(
detail
)
org.polarsys.chess.diagramsCreator
Success
#37
→
Success
#38
(
detail
)
Test Result
(no failures)