diff options
Diffstat (limited to '.github/workflows/deploy-pages.yml')
| -rw-r--r-- | .github/workflows/deploy-pages.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/deploy-pages.yml b/.github/workflows/deploy-pages.yml index f1d7854..92d045c 100644 --- a/.github/workflows/deploy-pages.yml +++ b/.github/workflows/deploy-pages.yml @@ -23,11 +23,12 @@ jobs: which java java -version echo "JAVA_HOME=$JAVA_HOME" - export PATH="$JAVA_HOME/bin:$PATH" npm install -g @effekt-lang/effekt - name: Build id: build - run: effekt ${{ github.workspace }}/src/main.effekt --backend js-web --includes ${{ github.workspace }} + run: | + export PATH="$JAVA_HOME/bin:$PATH" + effekt ${{ github.workspace }}/src/main.effekt --backend js-web --includes ${{ github.workspace }} - name: Upload Artifact id: deployment uses: actions/upload-pages-artifact@v3 |