Started 6 mo 4 days ago
Took 1.6 sec on master

Success Build #10 (Mar 18, 2020 9:51:37 AM)

Changes
  1. Use our own nginx image and help.eclipse.org (details)
  2. Add 2019-06 infocenter (details)
  3. Add new releases to promoteToReleases.sh script (details)
  4. Add more infocenters (details)
  5. Fix route and ports (details)
  6. Add "outdated" banner (details)
  7. Remove commmented-out copy command (details)
  8. Fix banner widths (details)
  9. Add support for prefers-color-scheme: dark in banner (details)
  10. Bug 559328 - Online Help is missing JDT and PDE (details)
  11. Use default service account and add sha256 to image name (details)
  12. Fix link color in banner (details)

Started by user frederic.gurr@eclipse-foundation.org

Revision: 8778c37c0aca87a59e17259eda2ba201832f07cb
  • refs/remotes/origin/master