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 | |
| parent | 04ec84c9bd6378882ebb2d01a9c6db26dc21b540 (diff) | |
| download | llvm-kaleidoscope-rs-1a3439cd7580fd0203ce4c501b16579909ddc1d8.tar.gz llvm-kaleidoscope-rs-1a3439cd7580fd0203ce4c501b16579909ddc1d8.zip | |
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/check.yml | 20 | ||||
| -rw-r--r-- | .github/workflows/pages.yml | 25 |
2 files changed, 16 insertions, 29 deletions
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index 3ad9a44..126fb81 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -1,4 +1,4 @@ -name: Build and Test +name: Build, Test and generate Doc on: push: @@ -8,13 +8,25 @@ on: env: CARGO_TERM_COLOR: always + PODMAN_RUN: podman run --rm -t -v $PWD:/work -w /work ks-rs jobs: - build: + ci: runs-on: ubuntu-latest steps: - uses: actions/checkout@v2 + - run: make -C container + - run: cargo fmt -- --check - - run: cargo build --verbose - - run: cargo test --verbose + - run: eval $PODMAN_RUN cargo build --verbose + - run: eval $PODMAN_RUN cargo test --verbose + - name: Generate doc + run: | + eval $PODMAN_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 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 |