Skip to content
Started 3 yr 11 mo ago
Took 13 sec on migration-agent-hm3v1
Success

org.polarsys.chess.contracts.verificationService.test.runtime (Jun 11, 2020, 3:29:52 AM)

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