| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-11-09 | github.rs: `update_commit_status` should take a repo name | Teddy Wing |
| 2017-11-08 | github.rs: Fix compilation errors from e0dca75f9b2de9023ecb978a0f9c8a11b | Teddy Wing |
| 2017-11-08 | Add rough code for `update_commit_status` | Teddy Wing |
 |
index : kipper | |
| Update GitHub commit statuses from Jenkins build results |
| aboutsummaryrefslogtreecommitdiffstats |