build docs during ci

olimpiadi-informatica · Dec 13, 2023 · 1a48295 · 1a48295
1 parent 31df7a4
commit 1a48295
Showing 1 changed file with 42 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -0,0 +1,42 @@
+name: Docs
+
+on:
+  push:
+    branches:
+      - doc-test
+  workflow_dispatch:
+
+jobs:
+  docs:
+    name: Build documentation
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
+      - uses: dtolnay/rust-toolchain@nightly
+        with:
+          component: rust-src
+      - name: Install Deps
+        run: |
+          cargo install doc-merge
+      - name: cargo doc
+        run: |
+          for d in pixie-*; do
+            pushd $d
+            cargo doc --color=always --no-deps
+            popd
+          done
+      - name: Merge docs
+        run: |
+          mkdir doc
+          for d in pixie-*; do
+            doc-merge --src $d/target/doc --dest doc
+          done
+      - name: Make index.html
+        run: |
+          echo '<meta http-equiv="Refresh" content="0; url=./pixie_server/index.html">' > doc/index.html
+      - name: Publish
+        uses: JamesIves/[email protected]
+        with:
+          branch: gh-pages
+          folder: target/doc