diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0efb061..a5c429c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml | |||
| @@ -155,14 +155,11 @@ jobs: | |||
| 155 | toolchain: nightly | 155 | toolchain: nightly |
| 156 | override: true | 156 | override: true |
| 157 | 157 | ||
| 158 | - name: Build documentation | 158 | - name: Build Github Pages |
| 159 | uses: actions-rs/cargo@v1 | 159 | run: bash web/create_site.bash |
| 160 | with: | ||
| 161 | command: doc | ||
| 162 | args: --all-features | ||
| 163 | 160 | ||
| 164 | - name: Deploy documentation | 161 | - name: Deploy Github Pages |
| 165 | uses: peaceiris/actions-gh-pages@v3 | 162 | uses: peaceiris/actions-gh-pages@v3 |
| 166 | with: | 163 | with: |
| 167 | github_token: ${{ secrets.GITHUB_TOKEN }} | 164 | github_token: ${{ secrets.GITHUB_TOKEN }} |
| 168 | publish_dir: ./target/doc \ No newline at end of file | 165 | publish_dir: ./target/github-pages \ No newline at end of file |