Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 10 mo ago
Took 1.8 sec on centos-7-b3m33
Success

org.polarsys.chess.contracts.safetyAnalysis (Jul 12, 2022, 4:28:42 AM)

No changes. Changes in dependency
  1. org.polarsys.chess.service Success #45 → Success #46 (detail)
  2. org.polarsys.chess.core Success #45 → Success #46 (detail)
  3. org.polarsys.chess.smvExporter Success #45 → Success #46 (detail)
  4. org.polarsys.chess.contracts.verificationService Success #45 → Success #46 (detail)
  5. org.polarsys.chess.chessmlprofile Success #45 → Success #46 (detail)
  6. org.polarsys.chess.contracts.profile Success #45 → Success #46 (detail)