Skip to content

ci: Enable MIRI in CI #450

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
EmilyMatt wants to merge 13 commits into
base: main
Choose a base branch
from
+9 −7
Open

ci: Enable MIRI in CI #450

Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
2efa206
fix: alloc(0) call is UB
EmilyMatt Feb 24, 2026
dfd9776
Merge branch 'main' into allocation-ub
EmilyMatt Apr 30, 2026
e07f22e
fix clippy warnings
EmilyMatt Apr 30, 2026
ffa238d
allow unused macro import
EmilyMatt Apr 30, 2026
3084cb7
install relevant wasmtime cli
EmilyMatt Apr 30, 2026
540adf5
fix: No UTF-8 validation happening when `portable` is disabled
EmilyMatt Feb 24, 2026
a20bd48
ci: Enable MIRI in CI
EmilyMatt Apr 30, 2026
a3920c9
not sure where that came from
EmilyMatt Apr 30, 2026
111ef51
uncomment miri install
EmilyMatt Apr 30, 2026
03f13a6
add comment and skip proptest
EmilyMatt Apr 30, 2026
b6f1ee2
Merge branch 'main' into enable-miri
Licenser Jul 8, 2026
0989471
Merge branch 'main' into enable-miri
EmilyMatt Jul 9, 2026
5bbc655
Merge branch 'main' into enable-miri
Licenser Jul 14, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 9 additions & 7 deletions .github/workflows/nightly.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -24,8 +24,8 @@ jobs:
- uses: actions/checkout@v3

- uses: dtolnay/rust-toolchain@nightly
# with:
# components: miri
with:
components: miri

- name: Run tests (alloc)
env:
Expand Down Expand Up @@ -82,8 +82,10 @@ jobs:
RUSTFLAGS: "-C target-cpu=native ${{ matrix.rustflags }}"
run: cargo test --no-default-features --features serde_impl

# we can't use miri any more, something broke.
# - name: Run miri
# env:
# RUSTFLAGS: ${{ matrix.rustflags }}
# run: cargo miri test ${{ matrix.features }}
- name: Run miri
env:
RUSTFLAGS: ${{ matrix.rustflags }}
# We can choose to run proptest tests in miri, but they are very slow, so we skip them for now.
# Can revisit this later.
# PROPTEST_CASES: "4"
run: cargo miri test ${{ matrix.features }} -- --skip prop_
Loading