more cache

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index b55afdc1710bb1a7d51d4e44bce6c71944cb2ead..72f20ffc014266a4956e99db039dfaeb2c4bd978 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -31,18 +31,15 @@ jobs:
     - name: Mdr
       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) ]
+        cd mdr
+        if [ $(git rev-parse HEAD) != $(git ls-remote https://github.com/fennecdjay/mdr.git HEAD | cut -f1) ]
         then
-          cd mdr
-          cabal install
-          exit 0
+          git pull
+          cabal update
+          cabal install --only-dependencies
+          cabal configure
+          cabal build
         fi
-        cd mdr
-        git pull
-        cabal update
-        cabal install --only-dependencies
-        cabal configure
-        cabal build
         cabal install
 
     - uses: actions/cache@v1
@@ -64,10 +61,10 @@ jobs:
       if: steps.gwion-bin.outputs.cache-hit == 'true'
       run: |
         cd Gwion
-        if [ $(git rev-parse HEAD) != $(git ls-remote https://github.com/fennecdjay/mdr.git HEAD | cut -f1) ]
+        if [ $(git rev-parse HEAD) != $(git ls-remote https://github.com/fennecdjay/Gwion.git HEAD | cut -f1) ]
         then
           git pull
-          git submodule update --init util ast
+          git submodule update util ast
           make
         fi
         cp gwion ..