Skip to content

Commit 1460be1

Browse files
committed
Run unit tests of Miri in the Docker container
1 parent 9602f71 commit 1460be1

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

compiler/base/orchestrator/src/coordinator.rs

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3985,7 +3985,9 @@ mod tests {
39853985
#[tokio::test]
39863986
#[snafu::report]
39873987
async fn miri() -> Result<()> {
3988-
let coordinator = new_coordinator();
3988+
// We set the `MIRI_SYSROOT` variable to something that's only
3989+
// valid on Linux.
3990+
let coordinator = new_coordinator_docker();
39893991

39903992
let req = MiriRequest {
39913993
code: r#"
@@ -4013,7 +4015,7 @@ mod tests {
40134015
#[tokio::test]
40144016
#[snafu::report]
40154017
async fn miri_tests() -> Result<()> {
4016-
let coordinator = new_coordinator();
4018+
let coordinator = new_coordinator_docker();
40174019

40184020
let req = MiriRequest {
40194021
tests: true,

0 commit comments

Comments
 (0)