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 /guix/scripts/remove.scm | |
parent | 10b99ddf4596a033eaf348dddf519639e029f9d1 (diff) | |
download | guix-patches-be764b47ad1079df531f016c1946cbf98ff48c41.tar guix-patches-be764b47ad1079df531f016c1946cbf98ff48c41.tar.gz |
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 'guix/scripts/remove.scm')
0 files changed, 0 insertions, 0 deletions