diff options
| author | Ethan Roseman <ethteck@gmail.com> | 2020-05-26 17:00:22 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-26 17:00:22 -0400 |
| commit | ba0e57eecd842b7f1f46c3c3f2aab41f13bf13ee (patch) | |
| tree | 272362145d17838631121fac615f2503c5be2369 /src/code | |
| parent | e3dc47efe7d052ec7f151e8783a068c3eb98cf58 (diff) | |
Progress reporting through Jenkins (2) (#166)
* Progress reporting through Jenkins
* Update progress.py
Co-authored-by: Roman971 <32455037+Roman971@users.noreply.github.com>
* Jenkins reporting attempt 2
Co-authored-by: Roman971 <32455037+Roman971@users.noreply.github.com>
Diffstat (limited to 'src/code')
0 files changed, 0 insertions, 0 deletions