diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-03-13 10:53:49 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-03-13 17:33:37 +0100 |
| commit | be764b47ad1079df531f016c1946cbf98ff48c41 (patch) | |
| tree | 1194a8da879387b02b4bc65f0beb3ebdda9d0203 /graph.js | |
| parent | 10b99ddf4596a033eaf348dddf519639e029f9d1 (diff) | |
weather: Exit with non-zero when coverage is below 100%.
* guix/scripts/weather.scm (report-server-coverage): Return the coverage ratio.
(guix-weather): Exit if and only if each server's coverage is 1.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions