File tree 1 file changed +3
-0
lines changed 1 file changed +3
-0
lines changed Original file line number Diff line number Diff line change @@ -53,6 +53,7 @@ test_script:
53
53
- cd test-cargo-miri
54
54
- ' "C:\msys64\mingw64\bin\python3.exe" run-test.py'
55
55
- cd ..
56
+ - ps : $env:MIRI_SYSROOT = ""
56
57
# Test foreign miri: 64bit Linux
57
58
- cargo miri setup --target x86_64-unknown-linux-gnu
58
59
- set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\rust-lang\miri\cache
@@ -61,6 +62,7 @@ test_script:
61
62
- cd test-cargo-miri
62
63
- ' "C:\msys64\mingw64\bin\python3.exe" run-test.py'
63
64
- cd ..
65
+ - ps : $env:MIRI_SYSROOT = ""
64
66
# Test foreign miri: 64bit macOS
65
67
- cargo miri setup --target x86_64-apple-darwin
66
68
- set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\rust-lang\miri\cache
@@ -69,6 +71,7 @@ test_script:
69
71
- cd test-cargo-miri
70
72
- ' "C:\msys64\mingw64\bin\python3.exe" run-test.py'
71
73
- cd ..
74
+ - ps : $env:MIRI_SYSROOT = ""
72
75
73
76
after_test :
74
77
# Don't cache "master" toolchain, it's a waste
You can’t perform that action at this time.
0 commit comments