Skip to content
Jenkins
log in
Dashboard
merge-branch-x-to-devel
org.polarsys.chess.contracts.verificationService
#46
Status
Changes
Console Output
View Build Information
Executed Mojos
See Fingerprints
Previous Build
Next Build
Started 1 yr 10 mo ago
Took
2 sec
on centos-7-b3m33
Success
#46 (Jul 12, 2022, 4:28:42 AM)
No changes. Changes in dependency
org.polarsys.chess.service
Success
#45
→
Success
#46
(
detail
)
org.polarsys.chess.core
Success
#45
→
Success
#46
(
detail
)
org.polarsys.chess.smvExporter
Success
#45
→
Success
#46
(
detail
)
org.polarsys.chess.chessmlprofile
Success
#45
→
Success
#46
(
detail
)
org.polarsys.chess.contracts.profile
Success
#45
→
Success
#46
(
detail
)