user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

disable AVR test since it doesn't work

Browse source
This commit is contained in:
Ralf Jung 2024-09-25 10:50:41 +02:00
parent a374d1c589
commit 94339583b8
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/tools/miri/ci/ci.sh
View file

@ -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