diff options
| author | Teddy Wing | 2017-11-09 01:28:14 +0100 |
|---|---|---|
| committer | Teddy Wing | 2017-11-09 01:28:14 +0100 |
| commit | fe3401411a324a7777514f66b1e79a3331ed0690 (patch) | |
| tree | dfb62a0e1f7a9dbc405139f882efae72d3d5f2af /src/github.rs | |
| parent | ba48634c5af91766ec701f5cca5d646646e65b89 (diff) | |
| download | kipper-fe3401411a324a7777514f66b1e79a3331ed0690.tar.bz2 | |
jenkins.rs: Add `commit_status` method on `JobStatus`
A new method that establishes correspondences between Jenkins statuses
and GitHub statuses, so we can pass a GitHub `CommitStatus` to
`update_commit_status` given a `Job`.
Diffstat (limited to 'src/github.rs')
0 files changed, 0 insertions, 0 deletions