|
1 | | -case $(uname | tr '[:upper:]' '[:lower:]') in |
2 | | - linux*) |
3 | | - export APPVEYOR_OS_NAME=linux |
4 | | - ;; |
5 | | - darwin*) |
6 | | - export APPVEYOR_OS_NAME=osx |
7 | | - ;; |
8 | | -esac |
9 | | -if [ "$APPVEYOR_OS_NAME" = "linux" ]; then export PATH="/home/appveyor/.cargo/bin:$PATH"; fi |
10 | | -if [ "$APPVEYOR_OS_NAME" = "osx" ]; then export PATH="$HOME/.cargo/bin:$PATH"; fi |
11 | | -if [ "$APPVEYOR_OS_NAME" = "linux" ]; then MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri); fi |
12 | | -if [ "$APPVEYOR_OS_NAME" = "osx" ]; then MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-apple-darwin/miri); fi |
13 | | -echo "Installing latest nightly with Miri: $MIRI_NIGHTLY" |
14 | | -rustup set profile minimal |
15 | | -rustup default "$MIRI_NIGHTLY" |
16 | | -rustup component add miri |
| 1 | +#case $(uname | tr '[:upper:]' '[:lower:]') in |
| 2 | +# linux*) |
| 3 | +# export APPVEYOR_OS_NAME=linux |
| 4 | +# ;; |
| 5 | +# darwin*) |
| 6 | +# export APPVEYOR_OS_NAME=osx |
| 7 | +# ;; |
| 8 | +#esac |
| 9 | +#if [ "$APPVEYOR_OS_NAME" = "linux" ]; then export PATH="/home/appveyor/.cargo/bin:$PATH"; fi |
| 10 | +#if [ "$APPVEYOR_OS_NAME" = "osx" ]; then export PATH="$HOME/.cargo/bin:$PATH"; fi |
| 11 | +#if [ "$APPVEYOR_OS_NAME" = "linux" ]; then MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri); fi |
| 12 | +#if [ "$APPVEYOR_OS_NAME" = "osx" ]; then MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-apple-darwin/miri); fi |
| 13 | +#echo "Installing latest nightly with Miri: $MIRI_NIGHTLY" |
| 14 | +#rustup set profile minimal |
| 15 | +#rustup default "$MIRI_NIGHTLY" |
| 16 | +#rustup component add miri |
17 | 17 | # The `-Zmiri-disable-isolation` is so Miri can access the system clock |
18 | 18 | # while calling `SystemTime::now()` in one of the tests. |
19 | 19 | # The `-Zmiri-permissive-provenance` is because this crate has a few |
20 | 20 | # integer-to-pointer casts that are needed to avoid UB with ZST-related |
21 | 21 | # stuff. |
22 | | -export MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-permissive-provenance" |
| 22 | +#export MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-permissive-provenance" |
23 | 23 | # We run the suite once under Miri with all functionality enabled, and then once |
24 | 24 | # normally without the default features just to make sure `no_std` support has |
25 | 25 | # not been broken. |
26 | | -cargo clean |
27 | | -cargo miri test --features="std" || exit 1 |
28 | | -cargo clean |
29 | | -cargo test --no-default-features || exit 1 |
| 26 | +#cargo clean |
| 27 | +#cargo miri test --features="std" || exit 1 |
| 28 | +#cargo clean |
| 29 | +#cargo test --no-default-features || exit 1 |
30 | 30 | # Uncommenting the last two lines also runs the libfuzzer fuzz target, but it's more suited for running |
31 | 31 | # locally than on CI currently due to the amount of time it takes to be effective |
32 | 32 | # cargo clean |
|
0 commit comments