diff options
| author | Teddy Wing | 2017-11-17 01:33:26 +0100 |
|---|---|---|
| committer | Teddy Wing | 2017-11-17 01:33:26 +0100 |
| commit | ad9537963fe3eb6589ecdec0c6f9f001a483f5e2 (patch) | |
| tree | 89d575f44d3e9d6d09a8409296d5c0f44ca98a3b /src/github.rs | |
| parent | 6a2f2232cb3bd26e512c1383a581544bc0aef731 (diff) | |
| download | kipper-ad9537963fe3eb6589ecdec0c6f9f001a483f5e2.tar.bz2 | |
find_and_track_build_and_update_status(): Send Jenkins console URL
When adding a GitHub commit status, instead of using the job "home" URL,
use the URL of its "Console" page. This page shows the build log and is
much more useful than the other one. If there's a build failure in
particular, you'd be going to this page anyway to see what the problem
was, so using this `target_url` saves a click.
Diffstat (limited to 'src/github.rs')
0 files changed, 0 insertions, 0 deletions