aboutsummaryrefslogblamecommitdiffhomepage
path: root/.github/workflows/rustdoc.yml
blob: 9d5246d7ce5376e2862105f43c76da5db6d8ef3c (plain) (tree)
1
2
3
4
5
6




                      
                    











                               
                                        






                                                                                                                    
name: rustdoc

on:
  push:
    branches: [ main ]
  workflow_dispatch:

env:
  CARGO_TERM_COLOR: always

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v2

    - name: Generate doc
      run: |
          cargo doc --no-deps --examples
          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