From 50e844a700da043cf0c50bba3a3fceda6e009439 Mon Sep 17 00:00:00 2001
From: Can
Date: Mon, 20 Jan 2025 11:35:12 +0100
Subject: feat: auto deploy to pages

---
 .github/workflows/deploy-pages.yml | 46 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 46 insertions(+)
 create mode 100644 .github/workflows/deploy-pages.yml

diff --git a/.github/workflows/deploy-pages.yml b/.github/workflows/deploy-pages.yml
new file mode 100644
index 0000000..7a4749f
--- /dev/null
+++ b/.github/workflows/deploy-pages.yml
@@ -0,0 +1,46 @@
+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
+            - name: Setup Node.js
+              uses: actions/setup-node@v4
+              with:
+                node-version: '20.x'
+            - name: Setup Java
+              uses: actions/setup-java@v4
+              with:
+                distribution: 'zulu'
+                java-version: '17'
+            - name: Install Effekt
+              run: npm install -g @effekt-lang/effekt
+            - name: Build
+              id: build
+              run: effekt src/main.effekt --backend js-web --includes .
+            - name: Upload Artifact
+              id: deployment
+              uses: actions/upload-pages-artifact@v3
+              with:
+                path: 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