diff options
Diffstat (limited to '.github/workflows/check.yml')
| -rw-r--r-- | .github/workflows/check.yml | 20 |
1 files changed, 16 insertions, 4 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 |