diff options
| author | Johannes Stölp <johannes.stoelp@gmail.com> | 2024-07-18 23:14:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-18 23:14:24 +0200 |
| commit | 1a3439cd7580fd0203ce4c501b16579909ddc1d8 (patch) | |
| tree | 1b1db30844321fe0f55b62339e58ea7391ced548 /.github/workflows/pages.yml | |
| parent | 04ec84c9bd6378882ebb2d01a9c6db26dc21b540 (diff) | |
| download | llvm-kaleidoscope-rs-1a3439cd7580fd0203ce4c501b16579909ddc1d8.tar.gz llvm-kaleidoscope-rs-1a3439cd7580fd0203ce4c501b16579909ddc1d8.zip | |
Diffstat (limited to '.github/workflows/pages.yml')
| -rw-r--r-- | .github/workflows/pages.yml | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml deleted file mode 100644 index 841c0c8..0000000 --- a/.github/workflows/pages.yml +++ /dev/null @@ -1,25 +0,0 @@ -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: - - uses: actions/checkout@v2 - - 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 |