Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 4 mo ago
Took 2.9 sec on centos-7-wjrwx

org.polarsys.chess.contracts.safetyAnalysis (Dec 21, 2022, 4:24:16 AM)

Build Artifacts
org.polarsys.chess.contracts.safetyAnalysis-1.0.0-SNAPSHOT-p2artifacts.xml612 B view
org.polarsys.chess.contracts.safetyAnalysis-1.0.0-SNAPSHOT-p2metadata.xml3.05 KB view
org.polarsys.chess.contracts.safetyAnalysis-1.0.0-SNAPSHOT.jar8.70 KB view
org.polarsys.chess.contracts.safetyAnalysis-1.0.0-SNAPSHOT.pom633 B view
No changes. Changes in dependency
  1. org.polarsys.chess.contracts.profile #8 → #9 (detail)
  2. org.polarsys.chess.contracts.verificationService #8 → #9 (detail)
  3. org.polarsys.chess.core #8 → #9 (detail)
  4. org.polarsys.chess.service #8 → #9 (detail)
  5. org.polarsys.chess.chessmlprofile #8 → #9 (detail)
  6. org.polarsys.chess.smvExporter #8 → #9 (detail)