Skip to content
[Jenkins]Jenkins
log in
Started 2 yr 7 mo ago
Took 1.5 sec on centos-7-n6gtj
Success

#31 (Nov 11, 2021, 11:12:50 AM)

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