diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-01-23 23:15:10 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-01-23 23:40:07 +0100 |
commit | dd30a1a25cd419614656a70b98adbe26e181458f (patch) | |
tree | a4ac39784c9a5ead96c5c8287695a67cad33a83c /src/cuirass/database.scm | |
parent | 06b8af00fbf6c0d146411e895da1bc95365d364b (diff) | |
download | cuirass-dd30a1a25cd419614656a70b98adbe26e181458f.tar cuirass-dd30a1a25cd419614656a70b98adbe26e181458f.tar.gz |
base: Restart pending builds upfront.
* src/cuirass/database.scm (db-get-builds)[format-where-clause]:
Honor (status pending) filter.
* src/cuirass/base.scm (restart-builds): New procedure.
* bin/cuirass.in (main): Fetch pending builds. Start fiber that invokes
'restart-builds' on them.
Diffstat (limited to 'src/cuirass/database.scm')
-rw-r--r-- | src/cuirass/database.scm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/cuirass/database.scm b/src/cuirass/database.scm index 869f8cc..4b6b062 100644 --- a/src/cuirass/database.scm +++ b/src/cuirass/database.scm @@ -320,6 +320,8 @@ FILTERS is an assoc list which possible keys are 'project | 'jobset | 'job | (format #f "Derivations.system='~A'" system)) (('status 'done) "Builds.status >= 0") + (('status 'pending) + "Builds.status < 0") (_ #f))) filters))) (if (> (length where-clause) 0) |