]> Nishi Git Mirror - gwion.git/commitdiff
more on caching
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 17 Jan 2020 13:06:07 +0000 (14:06 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 17 Jan 2020 13:06:07 +0000 (14:06 +0100)
.github/workflows/build.yml

index f31464826037c988404117163d49e8f6ab6ba522..04a0b69ba973eaabec6960a11f829a187f4a23f6 100644 (file)
@@ -32,7 +32,10 @@ jobs:
       if: steps.mdr-bin.outputs.cache-hit == 'true'
       run: |
         if [ $(git rev-parse HEAD) = $(git ls-remote https://github.com/fennecdjay/mdr.git HEAD | cut -f1) ]
-        then exit 0
+        then
+          cd mdr
+          cabal install
+          exit 0
         fi
         cd mdr
         git pull