From c49e5ab729a90bb24fd1a70112ae007936aa72b4 Mon Sep 17 00:00:00 2001
From: Jiří Beneš
Date: Fri, 28 Mar 2025 16:56:07 +0100
Subject: Remove GitHub Pages for now

---
 .github/workflows/deploy-pages.yml | 50 --------------------------------------
 1 file changed, 50 deletions(-)
 delete mode 100644 .github/workflows/deploy-pages.yml

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
-- 
cgit v1.2.3