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

#35 (Dec 17, 2021, 5:27:15 AM)

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