mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

rustup

Browse Source
This commit is contained in:
Ralf Jung 2020-06-25 11:34:52 +02:00
parent 3444456214
commit 9d41e4c899
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
ci.sh
View File

@ -23,11 +23,11 @@ function run_tests {
fi
./miri test --locked
#if ! [ -n "${MIRI_TEST_TARGET+exists}" ]; then
if ! [ -n "${MIRI_TEST_TARGET+exists}" ]; then
# Only for host architecture: tests with MIR optimizations
# FIXME: disabled because of <https://github.com/rust-lang/rust/issues/73609>.
#MIRI_TEST_FLAGS="-Z mir-opt-level=3" ./miri test --locked
#fi
# FIXME:only testing level 1 because of <https://github.com/rust-lang/rust/issues/73223>.
MIRI_TEST_FLAGS="-Z mir-opt-level=1" ./miri test --locked
fi
# "miri test" has built the sysroot for us, now this should pass without
# any interactive questions.
${PYTHON:-python3} test-cargo-miri/run-test.py

2
rust-version
View File

@ -1 +1 @@
1a4e2b6f9c75a0e21722c88a0e3b610d6ffc3ae3
67100f61e62a86f2bf9e38552ee138e231eddc74