Skip to content
Started 1 mo 20 days ago
Took 56 sec on centos-7-vhrpr
Success

org.polarsys.chess.contracts.verificationService.test.runtime (May 18, 2024, 5:18:32 AM)

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