diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/pages.yml | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml new file mode 100644 index 0000000..b438e61 --- /dev/null +++ b/.github/workflows/pages.yml @@ -0,0 +1,24 @@ +name: Generate doc and upload pages + +on: + push: + branches: [ main ] + pull_request: + branches: [ main ] + +env: + CARGO_TERM_COLOR: always + +jobs: + build: + runs-on: ubuntu-latest + steps: + - name: Generate doc + run: | + cargo doc --no-deps + echo "<meta http-equiv=\"Refresh\" content=\"0; url='llvm_kaleidoscope_rs/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 |