Add GitHub Pages doc deployment

2026-08-20 10:03:35 +02:00 · 2026-06-01 14:14:43 +02:00
parent 593ea7b51f
commit 9d5a3dd406
1 changed files with 7 additions and 0 deletions
@@ -17,6 +17,13 @@ jobs:
      - uses: dtolnay/rust-toolchain@stable
      - run: cargo check --workspace
      - run: cargo doc --no-deps --document-private-items --workspace
+      - name: Deploy docs to GitHub Pages
+        if: github.ref == 'refs/heads/master'
+        uses: peaceiris/actions-gh-pages@v4
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: target/doc
+          force_orphan: true

  build:
    needs: check