Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 11 mo ago
Took 2.8 sec on centos-7-m7pbt
Success

org.polarsys.chess.contracts.verificationService (Jul 15, 2022, 4:08:09 AM)

Changes
  1. Remove unused acceleo deps. (details)
Changes in dependency
  1. org.polarsys.chess.service Success #47 → Success #48 (detail)
  2. org.polarsys.chess.core Success #47 → Success #48 (detail)
  3. org.polarsys.chess.smvExporter Success #47 → Success #48 (detail)
  4. org.polarsys.chess.chessmlprofile Success #47 → Success #48 (detail)
  5. org.polarsys.chess.contracts.profile Success #47 → Success #48 (detail)