Add javadoc publishing pipeline

.github/workflows/publish-javadocs.yml

@@ -0,0 +1,27 @@
+name: publish javadocs
+on:
+  push:
+    branches:
+      - main
+      - 5-documentation-overhaul
+permissions:
+  contents: write
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@main
+      - name: Fix worktree ownership
+        uses: docker://nixos/nix:2.24.2
+        with:
+          args: chown root ./ -R
+      - name: Run gradle
+        uses: docker://nixos/nix:2.24.2
+        with:
+          args: nix develop --command gradle build javadoc
+        env:
+          NIX_CONFIG: extra-experimental-features = flakes nix-command
+      - name: Publish javadocs
+        run: |
+          git checkout -b javadocs
+          git push -u origin docs