Skip to content
Jenkins
log in
Dashboard
merge-branch-x-to-devel
org.polarsys.chess.contracts.verificationService.test.runtime
#36
Status
Changes
Console Output
View Build Information
Executed Mojos
Test Result
See Fingerprints
Previous Build
Next Build
Started 2 yr 5 mo ago
Took
30 sec
on centos-7-53shr
Success
#36 (Dec 20, 2021, 4:17:47 AM)
Changes
Update oracle of async model. (
details
)
Changes in dependency
org.polarsys.chess.smvExporter
Success
#35
→
Success
#36
(
detail
)
org.eclipse.papyrus.junit.utils
Success
#35
→
Success
#36
(
detail
)
org.polarsys.chess.validator
Success
#35
→
Success
#36
(
detail
)
org.polarsys.chess.diagram.ui
Success
#35
→
Success
#36
(
detail
)
org.polarsys.chess.chessmlprofile
Success
#35
→
Success
#36
(
detail
)
org.polarsys.chess.contracts.profile
Success
#35
→
Success
#36
(
detail
)
org.polarsys.chess.service
Success
#35
→
Success
#36
(
detail
)
org.polarsys.chess.core
Success
#35
→
Success
#36
(
detail
)
org.eclipse.papyrus.junit.framework
Success
#35
→
Success
#36
(
detail
)
org.polarsys.chess.contracts.validation
Success
#35
→
Success
#36
(
detail
)
org.polarsys.chess.contracts.verificationService
Success
#35
→
Success
#36
(
detail
)
org.polarsys.chess.contracts.integration
Success
#35
→
Success
#36
(
detail
)
org.polarsys.chess.contracts.transformations
Success
#35
→
Success
#36
(
detail
)
org.polarsys.chess.OSSImporter
Success
#35
→
Success
#36
(
detail
)
org.polarsys.chess.diagramsCreator
Success
#35
→
Success
#36
(
detail
)
Test Result
(no failures)