From 2608a83851cf88db5eb6dc2cbd6d519157cd86b3 Mon Sep 17 00:00:00 2001
From: Gears <gearsOfficial@proton.me>
Date: Tue, 14 Oct 2025 17:17:37 +0100
Subject: [PATCH] Try different deploy workflow

---
 .github/workflows/publish_docs.yml | 45 +++++++++++++-----------------
 1 file changed, 19 insertions(+), 26 deletions(-)

diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml
index 3b16008..dc20fb1 100644
--- a/.github/workflows/publish_docs.yml
+++ b/.github/workflows/publish_docs.yml
@@ -4,45 +4,38 @@ on:
   push:
     branches:
       - main
-  pull_request:
-    branches:
-      - main
 
 jobs:
-  build:
+  deploy:
+    name: Deploy to GitHub Pages
     runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      deployments: write
+      pages: write
+      id-token: write
     steps:
-      - uses: actions/checkout@v4
-      - uses: erlef/setup-beam@v1
+      - name: Checkout repo
+        uses: actions/checkout@v4
+
+      - name: Set up Gleam
+        uses: erlef/setup-beam@v1
         with:
           otp-version: "28"
           gleam-version: "1.13.0-rc1"
           rebar3-version: "3"
-      - name: Build static files
-        id: build
+
+      - name: Build documentation
         run: gleam docs build
 
-      - name: Upload static files as artifact
-        id: deployment
+      - name: Setup Pages
+        uses: actions/configure-pages@v5
+
+      - name: Upload artifact
         uses: actions/upload-pages-artifact@v3
         with:
-          path: build/dev/docs/trick
+          path: "build/dev/docs/trick"
 
-  # Deployment job
-  deploy:
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-    
-    permissions:
-      pages: write
-      id-token: write
-
-    runs-on: ubuntu-latest
-
-    needs: build
-
-    steps:
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v4
\ No newline at end of file
-- 
2.51.2