Skip to content
[Jenkins]Jenkins
log in
Started 3 yr 4 mo ago
Took 2.6 sec on centos-7-bf9x2
Success

#11 (Jan 28, 2021, 8:38:48 AM)

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