Update Swatinem/rust-cache digest to 6323deb #1736
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| branches: | |
| - main | |
| name: CI | |
| jobs: | |
| lint: | |
| name: Lint | |
| runs-on: ubuntu-latest | |
| env: | |
| RUSTFLAGS: -D warnings | |
| steps: | |
| - uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7 | |
| - uses: dtolnay/rust-toolchain@29eef336d9b2848a0b548edc03f92a220660cdb8 # stable | |
| with: | |
| components: rustfmt, clippy | |
| - uses: Swatinem/rust-cache@e18b497796c12c097a38f9edb9d0641fb99eee32 # v2 | |
| - name: Lint (clippy) | |
| run: cargo clippy --all-features --all-targets | |
| - name: Lint (rustfmt) | |
| run: cargo xfmt --check | |
| - name: Install cargo readme | |
| uses: taiki-e/install-action@4684b8405694ae9dd42c9f39ba901a70ae83f4a3 # v2 | |
| with: | |
| tool: cargo-readme | |
| - name: Run cargo readme | |
| run: ./scripts/regenerate-readmes.sh | |
| - name: Check for differences | |
| run: git diff --exit-code | |
| build: | |
| name: Build and test | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| matrix: | |
| os: [ubuntu-latest] | |
| # 1.70 is the MSRV | |
| rust-version: ["1.70", stable] | |
| fail-fast: false | |
| env: | |
| RUSTFLAGS: -D warnings | |
| steps: | |
| - uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7 | |
| - uses: dtolnay/rust-toolchain@3c5f7ea28cd621ae0bf5283f0e981fb97b8a7af9 # master | |
| with: | |
| toolchain: ${{ matrix.rust-version }} | |
| - uses: taiki-e/install-action@0d949697a22925b8fa9993202894c96e1631d94b # nextest | |
| - uses: Swatinem/rust-cache@e18b497796c12c097a38f9edb9d0641fb99eee32 # v2 | |
| - name: Build | |
| run: cargo build --all-features | |
| - name: Test | |
| run: cargo nextest run --all-features | |
| - name: Run doctest | |
| run: cargo test --doc --all-features | |
| kani: | |
| name: Kani verification | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7 | |
| - uses: model-checking/kani-github-action@v1 |