When logged in, the compilation-pane should update on build completion, regardless of wether that build was started by a git commit hook or a UI button. Currently, if there isn't a build running on the last time the pane is loaded, and you don't start a new build, the update timer never files and there is no recourse short of starting new builds, or refreshing the browser window and reloading the entire app.
When logged in, the compilation-pane should update on build completion, regardless of wether that build was started by a git commit hook or a UI button. Currently, if there isn't a build running on the last time the pane is loaded, and you don't start a new build, the update timer never files and there is no recourse short of starting new builds, or refreshing the browser window and reloading the entire app.