Enforce LF

.gitattributes

@@ -0,0 +1 @@
+* text=auto eol=lf

.github/workflows/deploy.yml

@@ -1,62 +1,62 @@
-name: Deploy to GitHub Pages
+name: Deploy to GitHub Pages
-
+
-on:
+on:
-  workflow_dispatch:
+  workflow_dispatch:
-  push:
+  push:
-    branches:
+    branches:
-      - main
+      - main
-
+
-jobs:
+jobs:
-  build:
+  build:
-    name: Build Docusaurus
+    name: Build Docusaurus
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-latest
-
+
-    concurrency:
+    concurrency:
-      group: github-pages
+      group: github-pages
-      cancel-in-progress: true
+      cancel-in-progress: true
-
+
-    permissions:
+    permissions:
-      contents: read
+      contents: read
-
+
-    steps:
+    steps:
-      - uses: actions/checkout@v6.0.2
+      - uses: actions/checkout@v6.0.2
-        with:
+        with:
-          fetch-depth: 1
+          fetch-depth: 1
-
+
-      - uses: actions/setup-node@v6.4.0
+      - uses: actions/setup-node@v6.4.0
-        with:
+        with:
-          node-version: 24
+          node-version: 24
-          cache: npm
+          cache: npm
-
+
-      - name: Install dependencies
+      - name: Install dependencies
-        run: npm ci
+        run: npm ci
-
+
-      - name: Build website
+      - name: Build website
-        run: npm run build
+        run: npm run build
-
+
-      - name: Upload Build Artifact
+      - name: Upload Build Artifact
-        uses: actions/upload-pages-artifact@v5.0.0
+        uses: actions/upload-pages-artifact@v5.0.0
-        with:
+        with:
-          path: build
+          path: build
-
+
-  deploy:
+  deploy:
-    name: Deploy to GitHub Pages
+    name: Deploy to GitHub Pages
-    needs: build
+    needs: build
-
+
-    concurrency:
+    concurrency:
-      group: github-pages
+      group: github-pages
-      cancel-in-progress: false # deploy-pages seems to not be fully atomic
+      cancel-in-progress: false # deploy-pages seems to not be fully atomic
-
+
-    permissions:
+    permissions:
-      pages: write
+      pages: write
-      id-token: write
+      id-token: write
-
+
-    environment:
+    environment:
-      name: github-pages
+      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
+      url: ${{ steps.deployment.outputs.page_url }}
-
+
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-latest
-    steps:
+    steps:
-      - name: Deploy to GitHub Pages
+      - name: Deploy to GitHub Pages
-        id: deployment
+        id: deployment
-        uses: actions/deploy-pages@v5.0.0
+        uses: actions/deploy-pages@v5.0.0