Add `-Zmiri-env-set` to set environment variables without modifying the host environment#3493

Merged

bors merged 2 commits intorust-lang:masterfrom eduardosm:env-set

Apr 23, 2024

+43-12

Commits on Apr 21, 2024

Add -Zmiri-env-set to set environment variables without modifying the host environment
eduardosm
committed

Commits on Apr 23, 2024

Missing word at the end of sentence
oli-obk
authored