Skip to content

Don't panic on stable since miri is not available there#105901

Merged
bors merged 1 commit intorust-lang:masterfrom
oli-obk:no_miri_on_stable
Dec 20, 2022
Merged

Don't panic on stable since miri is not available there#105901
bors merged 1 commit intorust-lang:masterfrom
oli-obk:no_miri_on_stable

Commits

Commits on Dec 19, 2022