File tree Expand file tree Collapse file tree 2 files changed +18
-1
lines changed Expand file tree Collapse file tree 2 files changed +18
-1
lines changed Original file line number Diff line number Diff line change 99 env : DO_FUZZ=true DO_LINT=true
1010 - rust : beta
1111 - rust : nightly
12- env : DO_BENCH=true
12+ env : DO_BENCH=true DO_MIRI=true
1313 - rust : 1.22.0
1414
1515script :
Original file line number Diff line number Diff line change 4343 )
4444fi
4545
46+ # Miri Checks if told to
47+ # Only supported in nightly
48+ if [ " $DO_MIRI " = true ]
49+ then
50+ (
51+ MIRI_NIGHTLY=nightly-$( curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
52+ echo " Installing latest nightly with Miri: $MIRI_NIGHTLY "
53+ rustup set profile minimal
54+ rustup default " $MIRI_NIGHTLY "
55+ rustup component add miri
56+ cargo miri test -- -- any_unsafe_transmute_miri_test
57+
58+ # Change back to latest nightly possibly without Miri
59+ rustup default nightly
60+ )
61+ fi
62+
4663# Bench if told to
4764if [ " $DO_BENCH " = true ]
4865then
You can’t perform that action at this time.
0 commit comments