]> Nishi Git Mirror - gwion.git/commitdiff
naming
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 19 Jan 2020 19:23:56 +0000 (20:23 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 19 Jan 2020 19:23:56 +0000 (20:23 +0100)
.github/workflows/build.yml

index 3b46f2a13b3bed56b01b0eb8e0a67e46fb8f1be6..492d506f344853040826ceb63e353f30946b8135 100644 (file)
@@ -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