From 312a74fab3b0882fd59691169d209f2dbc9970e4 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Sat, 18 Jan 2020 14:04:59 +0100 Subject: [PATCH] more cache --- .github/workflows/build.yml | 21 +++++++++------------ 1 file changed, 9 insertions(+), 12 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index b55afdc1..72f20ffc 100644 --- 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 .. -- 2.43.0