mikros/serde
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

Revert "Temporarily disable miri on doctests"

Browse Source 
This reverts commit 3bfab6ef7f.
This commit is contained in:
David Tolnay 2024-04-08 11:58:08 -07:00
parent 5b24f88e73
commit 6e38afff49
No known key found for this signature in database
GPG Key ID: F9BA143B95FF6D82
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/ci.yml vendored
View File

@ -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 --all-targets # exclude doctests https://github.com/rust-lang/miri/issues/3404
- run: cd serde && cargo miri test --features derive,rc,unstable
env:
MIRIFLAGS: -Zmiri-strict-provenance
- run: cd test_suite && cargo miri test --features unstable