[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/12: weather: Fix type error when reporting CI stats.
From: |
Ludovic Courtès |
Subject: |
01/12: weather: Fix type error when reporting CI stats. |
Date: |
Mon, 30 Apr 2018 17:41:31 -0400 (EDT) |
civodul pushed a commit to branch master
in repository guix.
commit 7c8b7e35d020197cffadec2702438e9900192fc0
Author: Ludovic Courtès <address@hidden>
Date: Mon Apr 30 15:19:41 2018 +0200
weather: Fix type error when reporting CI stats.
* guix/scripts/weather.scm (report-server-coverage): Remove 'missing'
binding above 'queued-subset' call. Before that 'queued-subset' would
be called with a number instead of a list.
---
guix/scripts/weather.scm | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/guix/scripts/weather.scm b/guix/scripts/weather.scm
index 5c934ab..d7c2fbe 100644
--- a/guix/scripts/weather.scm
+++ b/guix/scripts/weather.scm
@@ -208,10 +208,10 @@ unavailable)~%"))
0 queue)))
(newline)
(unless (null? missing)
- (let ((missing (length missing)))
- (match (queued-subset queue missing)
- (#f #f)
- ((= length queued)
+ (match (queued-subset queue missing)
+ (#f #f)
+ ((= length queued)
+ (let ((missing (length missing)))
(format #t (G_ " ~,1f% (~h out of ~h) of the missing items \
are queued~%")
(* 100. (/ queued missing))
- branch master updated (e64a3b4 -> 1170198), Ludovic Courtès, 2018/04/30
- 02/12: gnu: tcc-wrapper: Use Guile 2.2., Ludovic Courtès, 2018/04/30
- 03/12: gnu: gzochi: Build without '-Werror'., Ludovic Courtès, 2018/04/30
- 04/12: gnu: gzochi: Switch to Guile 2.2., Ludovic Courtès, 2018/04/30
- 06/12: gnu: guile-ics: Update to 0.2.0., Ludovic Courtès, 2018/04/30
- 05/12: gnu: geiser: Switch to Guile 2.2., Ludovic Courtès, 2018/04/30
- 09/12: gnu: guile-irregex: Switch to Guile 2.2., Ludovic Courtès, 2018/04/30
- 07/12: gnu: guile-ics: Switch to Guile 2.2., Ludovic Courtès, 2018/04/30
- 08/12: gnu: guile-minikanren: Switch to Guile 2.2., Ludovic Courtès, 2018/04/30
- 12/12: gnu: Add amule., Ludovic Courtès, 2018/04/30
- 01/12: weather: Fix type error when reporting CI stats.,
Ludovic Courtès <=
- 11/12: gnu: guile-dbi: Switch to Guile 2.2., Ludovic Courtès, 2018/04/30
- 10/12: gnu: guile-redis: Switch to Guile 2.2., Ludovic Courtès, 2018/04/30