diff options
author | Johannes Stoelp <johannes.stoelp@gmail.com> | 2021-09-14 00:21:28 +0200 |
---|---|---|
committer | Johannes Stoelp <johannes.stoelp@gmail.com> | 2021-09-14 00:21:28 +0200 |
commit | c7237c08f244051786e72b97e77d7e9dffbe658c (patch) | |
tree | 625a083b29181dc78aab29426b24a4da34a0fdea /.github/workflows | |
parent | 9e6c0a92dbedb5b8801772802e2e5d2e56cb9bcf (diff) | |
download | llvm-kaleidoscope-rs-c7237c08f244051786e72b97e77d7e9dffbe658c.tar.gz llvm-kaleidoscope-rs-c7237c08f244051786e72b97e77d7e9dffbe658c.zip |
ci: add action to generate rustdoc and upload to gh pages
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 |