master updated (317d8fc -> 2d018ac)

[Ludovic Courtès]

civodul pushed a change to branch master.

    from 317d8fc  Update TODO.
     new 980ef61  remote-worker: Statically determine build process parallelism.
     new 64568e7  database: ‘db-get-builds’ matches ‘db-get-pending-build’ 
ordering.
     new 8fe3320  database: Rename ‘with-db-worker-thread’ to 
‘with-db-connection’.
     new 2d018ac  base: Really honor the period defined in a spec.


Summary of changes:
 src/cuirass/base.scm                  |  20 +++--
 src/cuirass/database.scm              | 152 +++++++++++++++++-----------------
 src/cuirass/metrics.scm               |  34 ++++----
 src/cuirass/remote.scm                |   9 +-
 src/cuirass/scripts/remote-worker.scm |  44 ++++++----
 5 files changed, 142 insertions(+), 117 deletions(-)