mirror of
https://github.com/pezkuwichain/serde.git
synced 2026-04-22 09:07:57 +00:00
Temporarily disable miri on doctests
This commit is contained in:
@@ -154,7 +154,7 @@ jobs:
|
||||
- uses: actions/checkout@v4
|
||||
- uses: dtolnay/rust-toolchain@miri
|
||||
- run: cargo miri setup
|
||||
- run: cd serde && cargo miri test --features derive,rc,unstable
|
||||
- run: cd serde && cargo miri test --features derive,rc,unstable --all-targets # exclude doctests https://github.com/rust-lang/miri/issues/3404
|
||||
env:
|
||||
MIRIFLAGS: -Zmiri-strict-provenance
|
||||
- run: cd test_suite && cargo miri test --features unstable
|
||||
|
||||
Reference in New Issue
Block a user