diff options
| author | Ralf Jung <post@ralfj.de> | 2024-01-24 09:10:40 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-01-24 09:10:40 +0100 |
| commit | a9bc7e99a32fe75bcc3d025ce8d08efb96b97cf9 (patch) | |
| tree | c50ccb0ecdbaa6422d4161c74abd2d120723c46a /src | |
| parent | dbe1c58a143c95d25368e1f3226de00875660eee (diff) | |
| download | rust-a9bc7e99a32fe75bcc3d025ce8d08efb96b97cf9.tar.gz rust-a9bc7e99a32fe75bcc3d025ce8d08efb96b97cf9.zip | |
disable freeBSD tests for now
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/miri/ci/ci.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/tools/miri/ci/ci.sh b/src/tools/miri/ci/ci.sh index 6bcc68ebf7c..08fce334e03 100755 --- a/src/tools/miri/ci/ci.sh +++ b/src/tools/miri/ci/ci.sh @@ -121,8 +121,9 @@ case $HOST_TARGET in MIRI_TEST_TARGET=aarch64-apple-darwin run_tests MIRI_TEST_TARGET=i686-pc-windows-gnu run_tests # Some targets are only partially supported. - MIRI_TEST_TARGET=x86_64-unknown-freebsd run_tests_minimal hello integer vec panic/panic concurrency/simple pthread-threadname libc-getentropy libc-getrandom libc-misc libc-fs atomic env align - MIRI_TEST_TARGET=i686-unknown-freebsd run_tests_minimal hello integer vec panic/panic concurrency/simple pthread-threadname libc-getentropy libc-getrandom libc-misc libc-fs atomic env align + # FIXME: freeBSD disabled due to https://github.com/rust-lang/miri/issues/3276 + #MIRI_TEST_TARGET=x86_64-unknown-freebsd run_tests_minimal hello integer vec panic/panic concurrency/simple pthread-threadname libc-getentropy libc-getrandom libc-misc libc-fs atomic env align + #MIRI_TEST_TARGET=i686-unknown-freebsd run_tests_minimal hello integer vec panic/panic concurrency/simple pthread-threadname libc-getentropy libc-getrandom libc-misc libc-fs atomic env align MIRI_TEST_TARGET=aarch64-linux-android run_tests_minimal hello integer vec panic/panic MIRI_TEST_TARGET=wasm32-wasi run_tests_minimal no_std integer strings wasm MIRI_TEST_TARGET=wasm32-unknown-unknown run_tests_minimal no_std integer strings wasm |