diff options
| author | Ralf Jung <post@ralfj.de> | 2024-09-25 10:50:41 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-09-25 10:50:41 +0200 |
| commit | 94339583b89d4f04a2eae7a14e4fdf7c5a02347f (patch) | |
| tree | c4ab33c35cafc03d756980d31decbb7a435b293c | |
| parent | a374d1c5896bc06e8f059966710a98f261d3bc81 (diff) | |
| download | rust-94339583b89d4f04a2eae7a14e4fdf7c5a02347f.tar.gz rust-94339583b89d4f04a2eae7a14e4fdf7c5a02347f.zip | |
disable AVR test since it doesn't work
| -rwxr-xr-x | src/tools/miri/ci/ci.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/miri/ci/ci.sh b/src/tools/miri/ci/ci.sh index 251a5d63e15..2d4cf696d8c 100755 --- a/src/tools/miri/ci/ci.sh +++ b/src/tools/miri/ci/ci.sh @@ -159,7 +159,8 @@ case $HOST_TARGET in TEST_TARGET=wasm32-unknown-unknown run_tests_minimal no_std empty_main wasm # this target doesn't really have std TEST_TARGET=thumbv7em-none-eabihf run_tests_minimal no_std # Custom target JSON file - TEST_TARGET=tests/avr.json MIRI_NO_STD=1 run_tests_minimal no_std + # FIXME: disabled due to <https://github.com/rust-lang/rust/issues/130818>. + #TEST_TARGET=tests/avr.json MIRI_NO_STD=1 run_tests_minimal no_std ;; i686-pc-windows-msvc) # Host |