Move docs to quarto for v1

.github/workflows/docs.yml

@@ -0,0 +1,72 @@
+name: Quarto documentation
+on:
+  push:
+    branches: [master]
+    tags: [v*]
+  pull_request:
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+# needed to allow julia-actions/cache to delete old caches that it has created
+permissions:
+  actions: write
+  contents: read
+
+jobs:
+  publish:
+    name: Build and publish docs
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+    steps:
+      - uses: actions/checkout@v4
+      - uses: julia-actions/cache@v2
+        with:
+          cache-compiled: "true"
+          cache-registries: "true"
+      - uses: prefix-dev/[email protected]
+        with:
+          pixi-version: "latest"
+      - name: Prepare pixi
+        run: pixi run install-ci
+
+      - name: Install Quarto
+        uses: quarto-dev/quarto-actions/setup@v2
+
+      - name: Check Quarto installation and all engines
+        run: pixi run quarto-check
+
+      - name: Render Quarto Project
+        run: pixi run quarto-render
+
+      - name: Publish Quarto Project as preview
+        if: github.event_name == 'pull_request'
+        uses: peaceiris/actions-gh-pages@v4
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./docs/_site
+          destination_dir: previews/PR${{ github.event.number }}
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Publish Quarto Project as dev
+        if: github.event_name == 'push' && github.ref == 'refs/heads/master'
+        uses: peaceiris/actions-gh-pages@v4
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./docs/_site
+          destination_dir: dev
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Publish Quarto Project as version
+        if: github.event_name == 'push' && startsWith(github.ref, 'refs/tags/v')
+        uses: peaceiris/actions-gh-pages@v4
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./docs/_site
+          destination_dir: ${{ github.ref_name }}
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

docs/.gitignore

@@ -0,0 +1,5 @@
+/.quarto/
+/_extensions/
+/_freeze/
+/_inv/
+/_site/

docs/404.qmd

@@ -0,0 +1,7 @@
+---
+title: Page Not Found
+---
+
+The page you requested cannot be found (perhaps it was moved or renamed).
+
+You may want to try searching to find the page's new location.