diff options
| author | Can | 2025-01-20 11:52:12 +0100 |
|---|---|---|
| committer | GitHub | 2025-01-20 11:52:12 +0100 |
| commit | c5f5ced0522a6734dec8727c373fdecf75fdd8bb (patch) | |
| tree | f95fe29be15af2eb466212084ac7d3099f84f73b | |
| parent | 90017469ddf3e2a942b695e91ab2db45e0706069 (diff) | |
Update deploy-pages.yml
| -rw-r--r-- | .github/workflows/deploy-pages.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/deploy-pages.yml b/.github/workflows/deploy-pages.yml index 9549320..4d16a2e 100644 --- a/.github/workflows/deploy-pages.yml +++ b/.github/workflows/deploy-pages.yml @@ -20,6 +20,7 @@ jobs: with: distribution: 'zulu' java-version: '17' + java-package: jre - name: Install Effekt run: npm install -g @effekt-lang/effekt - name: Build @@ -43,4 +44,4 @@ jobs: steps: - name: Deploy to GitHub Pages id: deployment - uses: actions/deploy-pages@v4
\ No newline at end of file + uses: actions/deploy-pages@v4 |