Started 2 mo 17 days ago
Took 3 min 54 sec

Success Build #156 (Sep 2, 2019 12:28:32 PM)

Changes
  1. Rename feature (detail / githubweb)

Started by user Mickael Istria

Revision: e4bd591036079a6e4bd2c8f74f6bcf67d30e127b
  • refs/remotes/origin/master
Test Result (no failures)

    Module Builds

    Success org.eclipse.tm4e3.8 sec
    Success org.eclipse.tm4e.core23 sec
    Success org.eclipse.tm4e.core.tests12 sec
    Success org.eclipse.tm4e.feature5.7 sec
    Success org.eclipse.tm4e.languageconfiguration16 sec
    Success org.eclipse.tm4e.languageconfiguration.tests17 sec
    Success org.eclipse.tm4e.markdown5.8 sec
    Success org.eclipse.tm4e.registry12 sec
    Success org.eclipse.tm4e.repository6.8 sec
    Success org.eclipse.tm4e.samples5.4 sec
    Success org.eclipse.tm4e.ui11 sec
     org.eclipse.tm4e.ui.editor (didn’t run)
    Success org.eclipse.tm4e.ui.tests18 sec
     tm-feature (didn’t run)
    Success tm4e-target1.6 sec