Skip to content
Started 1 mo 11 days ago
Took 1 min 10 sec on centos-7-mthwm
Success

org.polarsys.chess.contracts.verificationService.test.runtime (May 28, 2024, 5:17:34 AM)

No changes. Changes in dependency
  1. org.polarsys.chess.contracts.transformations Success #530Success #531 (detail)
  2. org.polarsys.chess.chessmlprofile Success #530Success #531 (detail)
  3. org.polarsys.chess.service Success #530Success #531 (detail)
  4. org.polarsys.chess.core Success #530Success #531 (detail)
  5. org.polarsys.chess.diagramsCreator Success #530Success #531 (detail)
  6. org.polarsys.chess.smvExporter Success #530Success #531 (detail)
  7. org.polarsys.chess.validator Success #530Success #531 (detail)
  8. org.polarsys.chess.contracts.profile Success #530Success #531 (detail)
  9. org.polarsys.chess.contracts.verificationService Success #530Success #531 (detail)
  10. org.polarsys.chess.diagram.ui Success #530Success #531 (detail)
  11. org.polarsys.chess.contracts.integration Success #530Success #531 (detail)
  12. org.polarsys.chess.contracts.validation Success #530Success #531 (detail)
  13. org.polarsys.chess.OSSImporter Success #530Success #531 (detail)
Test Result (no failures)