From 6cedca7f4f050430763e4c15cf813f90e3e6a0e9 Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Wed, 11 Nov 2020 21:50:16 +0100 Subject: [PATCH] dest cannot be same as dist --- .github/workflows/build.yml | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index da76e6ce..8231fab7 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -5,24 +5,25 @@ on: [push, pull_request] jobs: build: runs-on: ubuntu-18.04 + env: + GF_VERSION: 3.10-1 + DEST: out/ steps: - uses: actions/checkout@v2 - name: Install GF - env: - GF_VERSION: 3.10-1 run: | curl -s https://www.grammaticalframework.org/download/gf_${GF_VERSION}_amd64.deb -o gf.deb sudo dpkg -i gf.deb - name: Build RGL run: | - bash Setup.sh --dest=dist/ --gf=gf --verbose + bash Setup.sh --dest=${DEST} --gf=gf --verbose - name: Create archive run: | - tar --create --gzip --verbose --file dist.tar.gz dist/ + tar --create --gzip --verbose --file dist.tar.gz ${DEST} - name: Upload artifact uses: actions/upload-artifact@v2