Bump model-checking/kani-github-action from 1.0 to 1.1 #5
Workflow file for this run
This file contains 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: | |
| - master | |
| - 'test-ci/**' | |
| pull_request: | |
| name: Continuous integration | |
| jobs: | |
| Stable: | |
| name: Test - stable toolchain | |
| runs-on: ubuntu-latest | |
| strategy: | |
| fail-fast: false | |
| steps: | |
| - name: Checkout Crate | |
| uses: actions/checkout@v4 | |
| - name: Checkout Toolchain | |
| # https://github.com/dtolnay/rust-toolchain | |
| uses: dtolnay/rust-toolchain@stable | |
| - name: Running test script | |
| env: | |
| DO_COV: true | |
| DO_LINT: true | |
| AS_DEPENDENCY: false | |
| DO_NO_STD: true | |
| DO_DOCS: true | |
| DO_FEATURE_MATRIX: true | |
| DO_SCHEMARS_TESTS: true # Currently only used in hashes crate. | |
| run: ./contrib/test.sh | |
| Beta: | |
| name: Test - beta toolchain | |
| runs-on: ubuntu-latest | |
| strategy: | |
| fail-fast: false | |
| steps: | |
| - name: Checkout Crate | |
| uses: actions/checkout@v4 | |
| - name: Checkout Toolchain | |
| uses: dtolnay/rust-toolchain@beta | |
| - name: Running test script | |
| env: | |
| AS_DEPENDENCY: false | |
| DO_NO_STD: true | |
| run: ./contrib/test.sh | |
| Nightly: | |
| name: Test - nightly toolchain | |
| runs-on: ubuntu-latest | |
| strategy: | |
| fail-fast: false | |
| steps: | |
| - name: Checkout Crate | |
| uses: actions/checkout@v4 | |
| - name: Checkout Toolchain | |
| uses: dtolnay/rust-toolchain@nightly | |
| - name: Running test script | |
| env: | |
| DO_FMT: false | |
| DO_BENCH: true | |
| AS_DEPENDENCY: false | |
| DO_NO_STD: true | |
| DO_DOCSRS: true | |
| run: ./contrib/test.sh | |
| MSRV: | |
| name: Test - 1.56.1 toolchain | |
| runs-on: ubuntu-latest | |
| strategy: | |
| fail-fast: false | |
| steps: | |
| - name: Checkout Crate | |
| uses: actions/checkout@v4 | |
| - name: Checkout Toolchain | |
| uses: dtolnay/rust-toolchain@stable | |
| with: | |
| toolchain: "1.56.1" | |
| - name: Running test script | |
| env: | |
| DO_FEATURE_MATRIX: true | |
| DO_NO_STD: true | |
| run: ./contrib/test.sh | |
| Arch32bit: | |
| name: Test 32-bit version | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout Crate | |
| uses: actions/checkout@v4 | |
| - name: Checkout Toolchain | |
| uses: dtolnay/rust-toolchain@stable | |
| - name: Add architecture i386 | |
| run: sudo dpkg --add-architecture i386 | |
| - name: Install i686 gcc | |
| run: sudo apt-get update -y && sudo apt-get install -y gcc-multilib | |
| - name: Install target | |
| run: rustup target add i686-unknown-linux-gnu | |
| - name: Run test on i686 | |
| run: cargo test --target i686-unknown-linux-gnu | |
| Cross: | |
| name: Cross test | |
| if: ${{ !github.event.act }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout Crate | |
| uses: actions/checkout@v4 | |
| - name: Checkout Toolchain | |
| uses: dtolnay/rust-toolchain@stable | |
| - name: Install target | |
| run: rustup target add s390x-unknown-linux-gnu | |
| - name: install cross | |
| run: cargo install cross --locked | |
| - name: run cross test | |
| run: cross test --target s390x-unknown-linux-gnu | |
| Embedded: | |
| runs-on: ubuntu-latest | |
| env: | |
| RUSTFLAGS: "-C link-arg=-Tlink.x" | |
| CARGO_TARGET_THUMBV7M_NONE_EABI_RUNNER: "qemu-system-arm -cpu cortex-m3 -machine mps2-an385 -nographic -semihosting-config enable=on,target=native -kernel" | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Set up QEMU | |
| run: sudo apt update && sudo apt install -y qemu-system-arm gcc-arm-none-eabi | |
| - name: Checkout Toolchain | |
| uses: dtolnay/rust-toolchain@nightly | |
| with: | |
| targets: thumbv7m-none-eabi | |
| - name: Install src | |
| run: rustup component add rust-src | |
| - name: Run bitcoin/embedded | |
| run: cd bitcoin/embedded && cargo run --target thumbv7m-none-eabi | |
| - name: Run hashes/embedded no alloc | |
| run: cd hashes/embedded && cargo run --target thumbv7m-none-eabi | |
| - name: Run hashes/embedded with alloc | |
| run: cd hashes/embedded && cargo run --target thumbv7m-none-eabi --features=alloc | |
| ASAN: | |
| name: Address sanitizer # hashes crate only. | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout Crate | |
| uses: actions/checkout@v4 | |
| - name: Checkout Toolchain | |
| uses: dtolnay/rust-toolchain@nightly | |
| - name: Install src | |
| run: rustup component add rust-src | |
| - name: Running address sanitizer | |
| env: | |
| DO_ASAN: true | |
| run: cd hashes && ./contrib/test.sh | |
| WASM: | |
| name: WebAssembly Build # hashes crate only. | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout Crate | |
| uses: actions/checkout@v4 | |
| - name: Checkout Toolchain | |
| uses: dtolnay/rust-toolchain@stable | |
| - name: Running WASM build | |
| env: | |
| DO_WASM: true | |
| run: cd hashes && ./contrib/test.sh |