master updated (f030486 -> 1341725)

[Mathieu Othacehe]

mothacehe pushed a change to branch master.

    from f030486  evaluate: Create just as many threads as needed.
     new 54630d8  remote-worker: Fix a typo.
     new 06745e4  remote-worker: Use GiB thresholds.
     new 553f107  Revert "remote-worker: Do not block on request-work response."
     new fc16413  remote-worker: Prevent a dead-hang on server disconnection.
     new 1341725  remote-worker: Increase the request period to 30 seconds


Summary of changes:
 src/cuirass/remote.scm                | 29 -----------------------------
 src/cuirass/scripts/remote-server.scm |  4 ++++
 src/cuirass/scripts/remote-worker.scm | 35 +++++++++++++++++++----------------
 3 files changed, 23 insertions(+), 45 deletions(-)