Skip to content
Started 28 days ago
Took 1 min 58 sec on centos-7-1mtb7
Success

org.polarsys.chess.contracts.verificationService.test.runtime (Jun 9, 2024, 5:17:37 AM)

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