mirror of
https://github.com/tokio-rs/tokio.git
synced 2026-09-08 00:00:13 +02:00
ci: split miri jobs into unit and integration tests (#7071)
This commit is contained in:
@@ -49,7 +49,9 @@ jobs:
|
|||||||
- test-parking_lot
|
- test-parking_lot
|
||||||
- valgrind
|
- valgrind
|
||||||
- test-unstable
|
- test-unstable
|
||||||
- miri
|
- miri-lib
|
||||||
|
- miri-test
|
||||||
|
- miri-doc
|
||||||
- asan
|
- asan
|
||||||
- cross-check
|
- cross-check
|
||||||
- cross-check-tier3
|
- cross-check-tier3
|
||||||
@@ -380,8 +382,8 @@ jobs:
|
|||||||
# the unstable cfg to RustDoc
|
# the unstable cfg to RustDoc
|
||||||
RUSTDOCFLAGS: --cfg tokio_unstable --cfg tokio_internal_mt_counters
|
RUSTDOCFLAGS: --cfg tokio_unstable --cfg tokio_internal_mt_counters
|
||||||
|
|
||||||
miri:
|
miri-lib:
|
||||||
name: miri
|
name: miri-lib
|
||||||
needs: basics
|
needs: basics
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
steps:
|
steps:
|
||||||
@@ -398,13 +400,36 @@ jobs:
|
|||||||
- uses: Swatinem/rust-cache@v2
|
- uses: Swatinem/rust-cache@v2
|
||||||
- name: miri
|
- name: miri
|
||||||
run: |
|
run: |
|
||||||
cargo miri nextest run --features full --lib --tests --no-fail-fast
|
cargo miri nextest run --features full --lib --no-fail-fast
|
||||||
working-directory: tokio
|
working-directory: tokio
|
||||||
env:
|
env:
|
||||||
MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-retag-fields
|
MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-retag-fields
|
||||||
|
|
||||||
miri-doc-test:
|
miri-test:
|
||||||
name: miri-doc-test
|
name: miri-test
|
||||||
|
needs: basics
|
||||||
|
runs-on: ubuntu-latest
|
||||||
|
steps:
|
||||||
|
- uses: actions/checkout@v4
|
||||||
|
- name: Install Rust ${{ env.rust_miri_nightly }}
|
||||||
|
uses: dtolnay/rust-toolchain@stable
|
||||||
|
with:
|
||||||
|
toolchain: ${{ env.rust_miri_nightly }}
|
||||||
|
components: miri
|
||||||
|
- name: Install cargo-nextest
|
||||||
|
uses: taiki-e/install-action@v2
|
||||||
|
with:
|
||||||
|
tool: cargo-nextest
|
||||||
|
- uses: Swatinem/rust-cache@v2
|
||||||
|
- name: miri
|
||||||
|
run: |
|
||||||
|
cargo miri nextest run --features full --test '*' --no-fail-fast
|
||||||
|
working-directory: tokio
|
||||||
|
env:
|
||||||
|
MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-retag-fields
|
||||||
|
|
||||||
|
miri-doc:
|
||||||
|
name: miri-doc
|
||||||
needs: basics
|
needs: basics
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
steps:
|
steps:
|
||||||
|
|||||||
Reference in New Issue
Block a user