master updated (0a9776e -> b80461b)

[Ludovic Courtès]

civodul pushed a change to branch master.

    from 0a9776e  remote-worker: Use a separate GC root directory.
     new 57902ec  templates: Clarify evaluation page for states other than 
‘succeeded’.
     new dabc19e  templates: Adjust styling for link to raw build log.
     new b80461b  build-log.js: Tweak icon of the phase folding button.


Summary of changes:
 src/cuirass/templates.scm  | 170 ++++++++++++++++++++++++++-------------------
 src/static/js/build-log.js |  10 ++-
 2 files changed, 105 insertions(+), 75 deletions(-)