From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Fri, 17 Jan 2020 12:18:57 +0000 (+0100)
Subject: cache mdr
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=2bd2296a154e93fb71afa3477a673c587a129d7c;p=gwion.git

cache mdr
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index d312a9f9..18deb4bf 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -10,7 +10,16 @@ jobs:
     steps:
     - uses: actions/checkout@v1
     - uses: actions/setup-haskell@v1
+
+    - name: Mdr [cache]
+    - uses: actions/cache@v1
+      id: mdr-cache
+      with:
+        path: mdr
+        key: ${{ runner.os }}-mdr
+
     - name: Mdr
+      if: steps.mdr-cache.outputs.cache-hit != 'true'
       run: |
         git clone https://github.com/fennecdjay/mdr
         cd mdr
@@ -19,6 +28,7 @@ jobs:
         cabal configure --enable-tests
         cabal build
         cabal install
+
     - name: Gwion
       run: |
         git clone https://github.com/fennecdjay/Gwion