Skip to content

Commit

Permalink
chore: Add ci to check minimal versions
Browse files Browse the repository at this point in the history
  • Loading branch information
tottoto committed Sep 16, 2023
1 parent 93b1f50 commit bccfdc7
Showing 1 changed file with 10 additions and 0 deletions.
10 changes: 10 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -61,6 +61,16 @@ jobs:
- name: test doc no-default-features
run: cargo test -p prost-build -p prost-derive -p prost-types --doc --no-default-features

minimal-versions:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@nightly
- uses: dtolnay/rust-toolchain@stable
- uses: taiki-e/install-action@cargo-hack
- uses: taiki-e/install-action@cargo-minimal-versions
- run: cargo minimal-versions --no-private check --workspace --all-features

kani:
runs-on: ubuntu-latest
steps:
Expand Down

0 comments on commit bccfdc7

Please sign in to comment.