diff options
| author | Teddy Wing | 2017-11-17 01:26:13 +0100 |
|---|---|---|
| committer | Teddy Wing | 2017-11-17 01:26:13 +0100 |
| commit | 6a2f2232cb3bd26e512c1383a581544bc0aef731 (patch) | |
| tree | a2a71d0e97db2c2432d86349c1ba3f4dc3758ae3 /src/pull_request.rs | |
| parent | 5d18b165bca8dea2b0f09b61df2069a4336a4ff2 (diff) | |
| download | kipper-6a2f2232cb3bd26e512c1383a581544bc0aef731.tar.bz2 | |
jenkins.rs: Add `jenkins_console_url_path()`
A new function that will return the URL to the Jenkins "Console" page
given the URL of a Jenkins job.
We'll be using this to pass with the GitHub status request as the
`target_url`.
Diffstat (limited to 'src/pull_request.rs')
0 files changed, 0 insertions, 0 deletions