Add GitHub Actions

Author: hermanzdosilovic

.github/workflows/publish.yml

@@ -0,0 +1,37 @@
+name: "Publish"
+
+on:
+  workflow_dispatch:
+  push:
+    branches: ["master"]
+
+jobs:
+  build:
+    runs-on: ubuntu-24.04
+    permissions:
+      contents: write
+    steps:
+      - uses: actions/checkout@v5
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@v6
+        with:
+          python-version: "3.13"
+      - uses: astral-sh/setup-uv@v6
+      - run: uv run make dirhtml
+      - uses: actions/upload-pages-artifact@v4
+        with:
+          path: build/dirhtml/
+
+  deploy:
+    runs-on: ubuntu-24.04
+    needs: build
+    permissions:
+      pages: write
+      id-token: write
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    steps:
+      - uses: actions/deploy-pages@v4
+        id: deployment

source/conf.py

@@ -16,10 +16,10 @@
     "logo_light": "./_static/Judge0 Icon 07 Rounded 1024x1024.png",
     "logo_dark": "./_static/Judge0 Icon 06 Rounded 1024x1024.png",
     "main_nav_links": {
-        "Home": "/index",
-        "Products": "/products",
-        "Pricing": "/products/judge0/pricing",
-        "FAQ": "/faq",
+        "Home": "index",
+        "Products": "products",
+        "Pricing": "products/judge0/pricing",
+        "FAQ": "faq",
     },
     "show_prev_next": True,
     "awesome_external_links": True,