]> Nishi Git Mirror - gwion.git/commitdiff
cache mdr
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 17 Jan 2020 12:18:57 +0000 (13:18 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 17 Jan 2020 12:18:57 +0000 (13:18 +0100)
.github/workflows/build.yml

index d312a9f9bf351c7404dfe6817f2d8f7d26511a63..18deb4bf9b6da291772378f18e590f6f8e7e1ee6 100644 (file)
@@ -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