diff options
| -rw-r--r-- | .github/workflows/deploy-pages.yml | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/.github/workflows/deploy-pages.yml b/.github/workflows/deploy-pages.yml index 4d16a2e..f1d7854 100644 --- a/.github/workflows/deploy-pages.yml +++ b/.github/workflows/deploy-pages.yml @@ -11,18 +11,20 @@ jobs: steps: - uses: actions/checkout@v4 - - name: Setup Node.js - uses: actions/setup-node@v4 + - uses: actions/setup-node@v4 with: node-version: '20.x' - - name: Setup Java - uses: actions/setup-java@v4 + - uses: actions/setup-java@v4 with: distribution: 'zulu' java-version: '17' - java-package: jre - - name: Install Effekt - run: npm install -g @effekt-lang/effekt + - name: Install Effekt and Setup Environment + run: | + 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 }} @@ -44,4 +46,4 @@ jobs: steps: - name: Deploy to GitHub Pages id: deployment - uses: actions/deploy-pages@v4 + uses: actions/deploy-pages@v4
\ No newline at end of file |