Skip to content
[Jenkins]Jenkins
log in
Started 2 mo 0 days ago
Took 3 sec on centos-7-79lft
Success

#519 (May 16, 2024, 5:18:05 AM)

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