branch master updated: Fix workers display.

[Mathieu Othacehe]

This is an automated email from the git hooks/post-receive script.

mothacehe pushed a commit to branch master
in repository guix-cuirass.

The following commit(s) were added to refs/heads/master by this push:
     new 5f77063  Fix workers display.
5f77063 is described below

commit 5f770638bbccb89552f895fad2fafe09a8993813
Author: Mathieu Othacehe <othacehe@gnu.org>
AuthorDate: Sat Jan 30 16:55:22 2021 +0100

    Fix workers display.
    
    * src/cuirass/templates.scm (workers-status): Handle the case where multiple
    builds are started on a worker.
---
 src/cuirass/templates.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cuirass/templates.scm b/src/cuirass/templates.scm
index ac29e2a..0e3898a 100644
--- a/src/cuirass/templates.scm
+++ b/src/cuirass/templates.scm
@@ -1056,7 +1056,7 @@ completed builds divided by the time required to build 
them.")
                                       (string=? build-worker name)))))
                                   builds)
                      (() #f)
-                     ((build) build)))
+                     ((build _ ...) build)))
                         workers)))
       `(div (@ (class "col-sm-4 mt-3"))
             (h6 ,machine)