Started 5 days 5 hr ago
Took 1 hr 6 min

Success Build #2043 (Sep 18, 2018 4:30:06 PM)

Changes
  1. org-ids/web-ide-issues#1215: Use graceful server to restart on a certain (detail / githubweb)

Started by an SCM change

Revision: c406dfd773ab67bf3af86ee20f44cb789cac6e8c
  • origin/master