berkus
/
miette
mirror of https://github.com/zkat/miette.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

ci: remove features for miri

This commit is contained in:
Boshen 2024-02-22 15:53:40 +08:00
parent 675f4f9f39
commit 3892f471b1
No known key found for this signature in database
GPG Key ID: 234DA6A7079C6801
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

@ -76,7 +76,7 @@ jobs:
- name: Run tests with miri
env:
MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance
run: cargo miri test --all --verbose --features fancy-no-syscall
run: cargo miri test --all --verbose
minimal_versions:
name: Minimal versions check