Add hook to publish github pages site

Author: markehammons

.github/workflows/publish-docs.yml

@@ -0,0 +1,37 @@
+name: Publish Docs
+on: 
+  push
+    
+jobs:
+  build: 
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: coursier/cache-action@v6 
+      - uses: actions/setup-java@v3
+        with:
+          distribution: 'temurin'
+          java-version: 17
+      - name: Build docs
+        run: ./mill core.docJar
+      - name: Bundle docs 
+        run: tar cf github_pages.tar.gz out/core/docJar.dest/javadoc
+      - name: Upload GitHub Pages artifact
+        uses: actions/upload-pages-artifact@v1.0.4
+        with: 
+          path: .
+  deploy: 
+    needs: build 
+    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@v1.2.2
+