Skip to content

Commit 9cb27d2

Browse files
CI: Move arm-unknown-linux-gnueabi tests to Windows host
1 parent e81ebb9 commit 9cb27d2

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/tools/miri/ci.sh

+1-1
Original file line numberDiff line numberDiff line change
@@ -105,7 +105,6 @@ case $HOST_TARGET in
105105
x86_64-unknown-linux-gnu)
106106
MIRI_TEST_TARGET=i686-unknown-linux-gnu run_tests
107107
MIRI_TEST_TARGET=aarch64-unknown-linux-gnu run_tests
108-
MIRI_TEST_TARGET=arm-unknown-linux-gnueabi run_tests
109108
MIRI_TEST_TARGET=aarch64-apple-darwin run_tests
110109
MIRI_TEST_TARGET=i686-pc-windows-msvc run_tests
111110
MIRI_TEST_TARGET=x86_64-unknown-freebsd run_tests_minimal hello integer vec panic/panic concurrency/simple atomic data_race env/var
@@ -120,6 +119,7 @@ case $HOST_TARGET in
120119
MIRI_TEST_TARGET=x86_64-pc-windows-msvc run_tests
121120
;;
122121
i686-pc-windows-msvc)
122+
MIRI_TEST_TARGET=arm-unknown-linux-gnueabi run_tests
123123
MIRI_TEST_TARGET=x86_64-unknown-linux-gnu run_tests
124124
MIRI_TEST_TARGET=x86_64-pc-windows-gnu run_tests
125125
;;

0 commit comments

Comments
 (0)