Update develop status as soon as a develop run finishes

Updates Develop status on open PRs as soon as a develop run ends, rather than at the next hourly run.