Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 5 mo ago
Took 2.3 sec on centos-7-54q3w
Success

org.polarsys.chess.contracts.safetyAnalysis (Dec 21, 2022, 5:00:21 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.69 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 #9 → Success #10 (detail)
  2. org.polarsys.chess.smvExporter Success #9 → Success #10 (detail)
  3. org.polarsys.chess.contracts.verificationService Success #9 → Success #10 (detail)
  4. org.polarsys.chess.core Success #9 → Success #10 (detail)
  5. org.polarsys.chess.contracts.profile Success #9 → Success #10 (detail)
  6. org.polarsys.chess.service Success #9 → Success #10 (detail)