master updated (87a6d6e -> 3ed995e)

[Ludovic Courtès]

civodul pushed a change to branch master.

    from 87a6d6e  remote-worker: Correctly compute parallelism per worker.
     new a700359  notification: Notification fiber polls less frequently.
     new 5679327  database: ‘db-restart-build!’ resets weather.
     new 3ed995e  remote-worker: Add randomness to the sleep delay.


Summary of changes:
 src/cuirass/database.scm              |  5 +++--
 src/cuirass/notification.scm          |  6 ++++--
 src/cuirass/scripts/remote-worker.scm | 10 +++++++++-
 3 files changed, 16 insertions(+), 5 deletions(-)