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