Skip to content
[Jenkins]Jenkins
log in
Started 2 yr 3 mo ago
Took 1.8 sec on centos-7-0bsmp
Success

org.polarsys.chess.contracts.safetyAnalysis (Mar 1, 2022, 9:30:40 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 KiB view
org.polarsys.chess.contracts.safetyAnalysis-1.0.0-SNAPSHOT.jar8.70 KiB view
org.polarsys.chess.contracts.safetyAnalysis-1.0.0-SNAPSHOT.pom633 B view
No changes. Changes in dependency
  1. org.polarsys.chess.chessmlprofile Success #7 → Success #8 (detail)
  2. org.polarsys.chess.smvExporter Success #7 → Success #8 (detail)
  3. org.polarsys.chess.contracts.verificationService Success #7 → Success #8 (detail)
  4. org.polarsys.chess.core Success #7 → Success #8 (detail)
  5. org.polarsys.chess.contracts.profile Success #7 → Success #8 (detail)
  6. org.polarsys.chess.service Success #7 → Success #8 (detail)