civodul pushed a change to branch main.
from e9f83e4 remote: Keep ‘last-seen’ info in memory rather than in the
database.
new b08e668 remote-server: Reschedule builds whose result cannot be
retrieved.
new 0eaf7b6 remote-worker: Delay initial ping randomly to avoid “ping
storms”.Summary of changes: src/cuirass/scripts/remote-server.scm | 43 ++++++++++++++++++++++------------- src/cuirass/scripts/remote-worker.scm | 1 + 2 files changed, 28 insertions(+), 16 deletions(-)
