diff options
| author | Teddy Wing | 2017-11-09 00:25:34 +0100 |
|---|---|---|
| committer | Teddy Wing | 2017-11-09 00:38:56 +0100 |
| commit | 2d3b362513d7e256f6a1ed3bdeed2eb785302ff3 (patch) | |
| tree | 311a42f2cc8ffe35becccdc3bfe7777610d03bfb /src/github.rs | |
| parent | 675926019dc6782d009f53ff267e1d97d9eb0267 (diff) | |
| download | kipper-2d3b362513d7e256f6a1ed3bdeed2eb785302ff3.tar.bz2 | |
jenkins.rs: Start `thread` idea in main function
Use `thread::spawn` and update the GitHub commit status. Write an
outline for how to handle polling for changes and updating the GitHub
commit status on success or failure (or timeout).
Diffstat (limited to 'src/github.rs')
0 files changed, 0 insertions, 0 deletions