Currently if a pull request gets updated by a comment, somebody merging it or anything else, the changes are only visible once the user manually refreshes the page. It would be great if the page would update itself when something changes. (Especially the builds.)