From: Jérémie Astor Date: Thu, 16 Jan 2020 19:29:00 +0000 (+0100) Subject: push not clone X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=43ce678298cbd446f4465cb3a51bb026efb1a676;p=gwion.git push not clone --- diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index bfc6e78e..996d9ac8 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -11,7 +11,7 @@ jobs: - uses: actions/checkout@v1 - name: Mdr run: | - git checkout https://github.com/fennecdjay/mdr + git clone https://github.com/fennecdjay/mdr cd mdr cabal update cabal install --only-dependencies