ci: rewrite pages deploy action

Author: craftablescience

.github/workflows/docs.yml

@@ -0,0 +1,42 @@
+name: Deploy Docs
+on:
+  push:
+    branches: [main]
+  workflow_dispatch:
+    inputs:
+      deploy:
+        type: boolean
+        required: true
+        default: false
+        description: 'Deploy manual build'
+
+jobs:
+  build-docs:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout Repository
+        uses: actions/checkout@v5
+
+      - name: Build Doxygen
+        run: doxygen
+
+      - name: Upload Docs
+        id: deployment
+        uses: actions/upload-pages-artifact@v4
+        with:
+          path: docs/
+
+  deploy-docs:
+    needs: build-docs
+    if: inputs.deploy
+    permissions:
+      pages: write
+      id-token: write
+    environment:
+      name: github-pages
+      url: ${{steps.deployment.outputs.page_url}}
+    runs-on: ubuntu-latest
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4