Add website (#550)

.github/scripts/setup-mkdocs.sh

@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+set -e
+
+pip install \
+  mkdocs==1.6.0 \
+  mkdocs-material==9.5.21 \
+  mkdocs-git-committers-plugin-2==2.3.0 \
+  mkdocs-git-revision-date-localized-plugin==1.2.6 \
+  mkdocs-material==9.5.21 \
+  pymdown-extensions==10.8.1

.github/workflows/ci.yml

@@ -54,6 +54,21 @@ jobs:
         apps: scalafmt:3.7.14
     - run: scalafmt --check
 
+  doc:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+      with:
+        fetch-depth: 0
+        submodules: true
+    - uses: coursier/[email protected]
+    - uses: coursier/[email protected]
+      with:
+        jvm: 17
+    - run: |
+        .github/scripts/setup-mkdocs.sh && \
+        ./mill -i docs.mkdocsBuild
+
   publish:
     if: github.event_name == 'push'
     runs-on: ubuntu-latest
@@ -78,3 +93,19 @@ jobs:
         PGP_SECRET: ${{ secrets.PUBLISH_SECRET_KEY }}
         SONATYPE_PASSWORD: ${{ secrets.SONATYPE_PASSWORD }}
         SONATYPE_USERNAME: ${{ secrets.SONATYPE_USERNAME }}
+
+  update-website:
+    if: startsWith(github.ref, 'refs/tags/v')
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+      with:
+        fetch-depth: 0
+        submodules: true
+    - uses: coursier/[email protected]
+    - uses: coursier/[email protected]
+      with:
+        jvm: 17
+    - run: |
+        .github/scripts/setup-mkdocs.sh && \
+        ./mill -i docs.mkdocsGhDeploy