diff options
| -rw-r--r-- | .github/workflows/deploy-pages.yml | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/.github/workflows/deploy-pages.yml b/.github/workflows/deploy-pages.yml deleted file mode 100644 index 92d045c..0000000 --- a/.github/workflows/deploy-pages.yml +++ /dev/null @@ -1,50 +0,0 @@ -name: Deploy to GitHub Pages - -on: - push: - branches: [ "main" ] # Configure branch here - workflow_dispatch: # Allow manual trigger - -jobs: - build: - runs-on: ubuntu-latest - - steps: - - uses: actions/checkout@v4 - - uses: actions/setup-node@v4 - with: - node-version: '20.x' - - uses: actions/setup-java@v4 - with: - distribution: 'zulu' - java-version: '17' - - name: Install Effekt and Setup Environment - run: | - which java - java -version - echo "JAVA_HOME=$JAVA_HOME" - npm install -g @effekt-lang/effekt - - name: Build - id: build - 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 - with: - path: ${{ github.workspace }}/out/ - - deploy: - needs: build - runs-on: ubuntu-latest - permissions: - pages: write - id-token: write - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - steps: - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4
\ No newline at end of file |