Skip to content
Jenkins
log in
Dashboard
master MAN build-bundle-release
#10
org.polarsys.chess.contracts.safetyAnalysis
Status
Changes
Console Output
View Build Information
Executed Mojos
See Fingerprints
Previous Build
Started 1 yr 4 mo ago
Took
2.3 sec
on centos-7-54q3w
org.polarsys.chess.contracts.safetyAnalysis (Dec 21, 2022, 5:00:21 AM)
Build Artifacts
org.polarsys.chess.contracts.safetyAnalysis-1.0.0-SNAPSHOT-p2artifacts.xml
612 B
view
org.polarsys.chess.contracts.safetyAnalysis-1.0.0-SNAPSHOT-p2metadata.xml
3.05 KB
view
org.polarsys.chess.contracts.safetyAnalysis-1.0.0-SNAPSHOT.jar
8.69 KB
view
org.polarsys.chess.contracts.safetyAnalysis-1.0.0-SNAPSHOT.pom
633 B
view
No changes. Changes in dependency
org.polarsys.chess.contracts.profile
#9
→
#10
(
detail
)
org.polarsys.chess.contracts.verificationService
#9
→
#10
(
detail
)
org.polarsys.chess.core
#9
→
#10
(
detail
)
org.polarsys.chess.service
#9
→
#10
(
detail
)
org.polarsys.chess.chessmlprofile
#9
→
#10
(
detail
)
org.polarsys.chess.smvExporter
#9
→
#10
(
detail
)