From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sun, 19 Jan 2020 19:23:56 +0000 (+0100)
Subject: naming
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=2048e5480994cae2582ce45db4435955a538b635;p=gwion.git

naming
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 3b46f2a1..492d506f 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -9,17 +9,23 @@ jobs:
 
     steps:
     - uses: actions/checkout@v1
+      name: Checkout
     - uses: actions/setup-haskell@v1
+      name: Setup Haskell
     - uses: actions/setup-python@v1
+      name: Setup Python
     - uses: actions/setup-ruby@v1
+      name: Setup Ruby
 
     - uses: actions/cache@v1
+      name: Mdr [ cache ]
       id: mdr-bin
       with:
         path: mdr
         key: ${{ runner.os }}-mdr
 
     - uses: actions/cache@v1
+      name: Results [ cache ]
       id: results
       with:
         path: benchmark/results
@@ -51,6 +57,7 @@ jobs:
         cabal install
 
     - uses: actions/cache@v1
+      name: Gwion [ cache ]
       id: gwion-bin
       with:
         path: Gwion
@@ -78,6 +85,7 @@ jobs:
         cp gwion ..
 
     - uses: actions/cache@v1
+      name: Wren [ cache ]
       id: wren
       with:
         path: wren