summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2018-11-07 15:17:48 +0100
committerLudovic Courtès <ludo@gnu.org>2018-11-07 15:28:05 +0100
commitc76edac15d5c729d9e5997eee1ae126ccd95f44f (patch)
tree47aae7a5ad641895f61de1043bbb2f6a67027f60
parent9a7e567bf2389de35d470ef8f8d6188b89442081 (diff)
downloadcuirass-c76edac15d5c729d9e5997eee1ae126ccd95f44f.tar
cuirass-c76edac15d5c729d9e5997eee1ae126ccd95f44f.tar.gz
database: Remove duplicate #:in-progress entry.
* src/cuirass/database.scm (db-get-evaluations-build-summary): Remove duplicate #:in-progress entry.
-rw-r--r--src/cuirass/database.scm1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/cuirass/database.scm b/src/cuirass/database.scm
index 25058b7..8b83c18 100644
--- a/src/cuirass/database.scm
+++ b/src/cuirass/database.scm
@@ -697,7 +697,6 @@ ORDER BY E.id ASC;"))
(cons `((#:id . ,id)
(#:in-progress . ,in-progress)
(#:checkouts . ,(db-get-checkouts id))
- (#:in-progress . ,in-progress)
(#:succeeded . ,(or succeeded 0))
(#:failed . ,(or failed 0))
(#:scheduled . ,(or scheduled 0)))