From 1a482959c66e3d90c8d004e256ec5816f239fb1e Mon Sep 17 00:00:00 2001 From: Filippo Casarin Date: Wed, 13 Dec 2023 01:31:42 +0100 Subject: [PATCH] build docs during ci --- .github/workflows/docs.yml | 42 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) create mode 100644 .github/workflows/docs.yml diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml new file mode 100644 index 0000000..12c9167 --- /dev/null +++ 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 '' > doc/index.html + - name: Publish + uses: JamesIves/github-pages-deploy-action@v4.5.0 + with: + branch: gh-pages + folder: target/doc