Build/publish docs

2026-06-20 04:16:10 -07:00 · 2021-02-17 01:51:56 +01:00
parent 32fa874658
commit bf1b8c7f51
1 changed files with 26 additions and 0 deletions
@@ -0,0 +1,26 @@
+name: Docs
+
+on: [push]
+
+jobs:
+  docs:
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Checkout repository
+      uses: actions/checkout@v2
+
+    - name: Install Rust toolchain
+      uses: actions-rs/toolchain@v1
+      with:
+        toolchain: stable
+        profile: minimal
+
+    - name: Build Documentation
+      run: cargo doc --no-deps
+
+    - name: Deploy Docs
+      uses: peaceiris/actions-gh-pages@v3
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_dir: ./target/doc