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

index 72f20ffc014266a4956e99db039dfaeb2c4bd978..dec963e9ae0b00a1a797635f8fcc3a96e2b75232 100644 (file)
@@ -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