Skip to content
Started 2 yr 5 mo ago
Took 10 min on centos-7-53shr

#36 (Dec 20, 2021, 4:17:24 AM)

Changes
  1. Update oracle of async model. (details)

Started by user Alberto Debiasi

This run spent:

  • 7.1 sec waiting;
  • 10 min build duration;
  • 10 min total from scheduled to completion.
Revision: 384a0c6ce9469a82a359aa6381474fd2f3a12e0a
Repository: git@gitlab.eclipse.org:eclipse/chess/chess.git
  • origin/4-add-formal-specification-and-verification-of-software-components-interacting-with-asynchronous-2
  • origin/devel
Test Result (no failures)

    Module Builds

     org.eclipse.papyrus.uml.profile.tests5.5 sec
     org.eclipse.papyrus.junit.framework1 sec
     org.eclipse.papyrus.junit.utils1.7 sec
     org.polarsys.chess.OSSImporter1.8 sec
     org.polarsys.chess.bundles0.22 sec
     org.polarsys.chess.cdo1.3 sec
     org.polarsys.chess.checkers1.3 sec
     org.polarsys.chess.chessmlprofile7.7 sec
     org.polarsys.chess.cleanCExporter1.4 sec
     org.polarsys.chess.codegen.ada1.4 sec
     org.polarsys.chess.commands1.3 sec
     org.polarsys.chess.configuration19 sec
     org.polarsys.chess.constraints.constraintEditor1.6 sec
     org.polarsys.chess.contracts.chessextension1.5 sec
     org.polarsys.chess.contracts.contractEditor1.5 sec
     org.polarsys.chess.contracts.contractPropertyManager1.4 sec
     org.polarsys.chess.contracts.hierarchicalContractView1.4 sec
     org.polarsys.chess.contracts.integration0.74 sec
     org.polarsys.chess.contracts.profile1.8 sec
     org.polarsys.chess.contracts.refinementView1.3 sec
     org.polarsys.chess.contracts.safetyAnalysis1.7 sec
     org.polarsys.chess.contracts.transformations2 sec
     org.polarsys.chess.contracts.validation1.3 sec
     org.polarsys.chess.contracts.verificationService2.9 sec
     org.polarsys.chess.contracts.verificationService.test.runtime30 sec
     org.polarsys.chess.core2 sec
     org.polarsys.chess.customEditors1.5 sec
     org.polarsys.chess.diagram.ui1.7 sec
     org.polarsys.chess.diagramsCreator1.6 sec
     org.polarsys.chess.discovery2.2 sec
     org.polarsys.chess.feature1.7 sec
     org.polarsys.chess.features0.21 sec
     org.polarsys.chess.fla4.4 sec
     org.polarsys.chess.fla.FPTC2FLABehavior0.54 sec
     org.polarsys.chess.fla.faultTreeGenerator1.5 sec
     org.polarsys.chess.fla.flamm0.78 sec
     org.polarsys.chess.fla.flaxml0.8 sec
     org.polarsys.chess.fla.transformations1.1 sec
     org.polarsys.chess.functionBehaviors.functionBehaviorEditor1.6 sec
     org.polarsys.chess.m2m1.6 sec
     org.polarsys.chess.mainmenu0.69 sec
     org.polarsys.chess.mobius1.4 sec
     org.polarsys.chess.mobius.model0.87 sec
     org.polarsys.chess.mobius.model.edit0.66 sec
     org.polarsys.chess.mobius.model.editor0.85 sec
     org.polarsys.chess.mobius.preferences0.67 sec
     org.polarsys.chess.monitoring1.6 sec
     org.polarsys.chess.monitoring.edit1.3 sec
     org.polarsys.chess.monitoring.editor1.2 sec
     org.polarsys.chess.monitoring.tests1.2 sec
     org.polarsys.chess.multicore1.5 sec
     org.polarsys.chess.paramArchConfigurator1.7 sec
     org.polarsys.chess.parent0.25 sec
     org.polarsys.chess.patterns1.4 sec
     org.polarsys.chess.patterns.library0.65 sec
     org.polarsys.chess.patterns.profile0.67 sec
     org.polarsys.chess.properties.propertyEditor1.4 sec
     org.polarsys.chess.releng0.18 sec
     org.polarsys.chess.repository4.6 sec
     org.polarsys.chess.repository.2021-03 (didn’t run)
     org.polarsys.chess.service1.7 sec
     org.polarsys.chess.smvExporter2.5 sec
     org.polarsys.chess.statebased1.5 sec
     org.polarsys.chess.tabbedproperties1.5 sec
     org.polarsys.chess.test.runtime4.3 sec
     org.polarsys.chess.tradeoffAnalysis1.7 sec
     org.polarsys.chess.validator1.7 sec
     org.polarsys.chess.wizards2.4 sec
     org.polarsys.chess.xtext.fladsl23 sec
     org.polarsys.chess.xtext.fladsl.ide10 sec
     org.polarsys.chess.xtext.fladsl.ui3.1 sec
     org.polarsys.chess.xtext.global0.55 sec
     org.polarsys.chess.target.2021-03 (didn’t run)
     org.polarsys.chess.target.neon0.2 sec