diff options
Diffstat (limited to '.github/workflows/rustdoc.yml')
-rw-r--r-- | .github/workflows/rustdoc.yml | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/.github/workflows/rustdoc.yml b/.github/workflows/rustdoc.yml new file mode 100644 index 0000000..26d279f --- /dev/null +++ b/.github/workflows/rustdoc.yml @@ -0,0 +1,25 @@ +name: rustdoc + +on: + push: + branches: [ main ] + +env: + CARGO_TERM_COLOR: always + +jobs: + build: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + + - name: Generate doc + run: | + cargo doc --no-deps + echo "<meta http-equiv=\"Refresh\" content=\"0; url='juicebox_asm/index.html'\"/>" > target/doc/index.html + + - name: Upload doc to gh pages + uses: peaceiris/actions-gh-pages@v3 + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: ./target/doc |