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

more cache
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 72f20ffc..dec963e9 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -32,11 +32,11 @@ jobs:
       if: steps.mdr-bin.outputs.cache-hit == 'true'
       run: |
         cd mdr
+        cabal update
+        cabal install --only-dependencies
         if [ $(git rev-parse HEAD) != $(git ls-remote https://github.com/fennecdjay/mdr.git HEAD | cut -f1) ]
         then
           git pull
-          cabal update
-          cabal install --only-dependencies
           cabal configure
           cabal build
         fi