Skip to content
Started 1 mo 6 days ago
Took 1 min 9 sec on centos-7-rtqsl
Success

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

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