master updated (1dcaebc -> 830817a)

[Mathieu Othacehe]

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(-)