Add -Zmiri-env-set to set environment variables without modifying the host environment
#7187
| Job | Run time |
|---|---|
| 2m 54s | |
| 30m 14s | |
| 14m 42s | |
| 28m 24s | |
| 0s | |
| 0s | |
| 0s | |
| 1h 16m 14s |