[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
master updated (1dcaebc -> 830817a)
From: |
Mathieu Othacehe |
Subject: |
master updated (1dcaebc -> 830817a) |
Date: |
Thu, 12 Aug 2021 04:55:42 -0400 (EDT) |
mothacehe pushed a change to branch master.
from 1dcaebc metrics: Prevent a zero division for eval-completion-speed.
new a7c3e4c examples: Change the specification name to hello.
new f1c27c3 remote: Make the set-build-options* url argument optional.
new 830817a remote-server: Add a no-publish argument.
Summary of changes:
doc/cuirass.texi | 5 +++++
examples/hello.scm | 2 +-
src/cuirass/remote.scm | 13 +++++++++----
src/cuirass/scripts/remote-server.scm | 31 +++++++++++++++++++++----------
src/cuirass/scripts/remote-worker.scm | 5 +++--
5 files changed, 39 insertions(+), 17 deletions(-)
- master updated (1dcaebc -> 830817a),
Mathieu Othacehe <=