Skip to content
[Jenkins]Jenkins
log in
Started 4 yr 7 mo ago
Took 1.6 sec on built-in
Success

#20 (Nov 14, 2019, 3:56:26 AM)

Changes
  1. [552784] The handling of JAVA_HOME is broken in (details / githubweb)
  2. [Releng] Eliminate the use of things in /opt/public/tools/oomph (details / githubweb)
  3. [Releng] Regenerate product catalog for 2019-12 M2 (details / githubweb)
  4. [Releng] Build number missing for fragments and extractor lib (details / githubweb)
  5. [Releng] Remove external dependencies from PropertiesUpdater (details / githubweb)
  6. [552245] Provide support for reporting on marketplace.eclipse.org (details / githubweb)

Started by user Ed Merks

Revision: 03793a29928c534c2d958d58d3d3c840ca383816
Repository: git://git.eclipse.org/gitroot/oomph/org.eclipse.oomph.git
  • refs/remotes/origin/master