diff options
| author | Árni Dagur <agudmundsson@fc-md.umd.edu> | 2020-05-24 02:57:26 -0400 |
|---|---|---|
| committer | Árni Dagur <agudmundsson@fc-md.umd.edu> | 2020-05-24 02:57:26 -0400 |
| commit | e539bde6508ed58e2bbe046a9c1720fe9cf501d5 (patch) | |
| tree | 9aea7aef24f12a7985f1b4ca423e5ff5bf53fe64 /.github | |
| parent | d5662ab1302a612e52e92714aeca3eae8b8cf165 (diff) | |
Place a 'index.html' file at the root of Github Pages
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 |