Skip to content

Commit 9a8bfdc

Browse files
committed
Auto merge of #2775 - RalfJung:rustup, r=RalfJung
Rustup
2 parents 0f7b752 + 69b011c commit 9a8bfdc

File tree

2 files changed

+2
-3
lines changed

2 files changed

+2
-3
lines changed

ci.sh

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -43,8 +43,7 @@ function run_tests {
4343
# optimizations up all the way, too).
4444
# Optimizations change diagnostics (mostly backtraces), so we don't check
4545
# them. Also error locations change so we don't run the failing tests.
46-
#FIXME: temporarily disabled due to <https://github.com/rust-lang/rust/issues/107511>.
47-
#MIRIFLAGS="${MIRIFLAGS:-} -O -Zmir-opt-level=4" MIRI_SKIP_UI_CHECKS=1 ./miri test -- tests/{pass,panic}
46+
MIRIFLAGS="${MIRIFLAGS:-} -O -Zmir-opt-level=4" MIRI_SKIP_UI_CHECKS=1 ./miri test -- tests/{pass,panic}
4847

4948
# Also run some many-seeds tests. 64 seeds means this takes around a minute per test.
5049
for FILE in tests/many-seeds/*.rs; do

rust-version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
0d32c8f2ce10710b6560dcb75f32f79c378410d0
1+
f3126500f25114ba4e0ac3e76694dd45a22de56d

0 commit comments

Comments
 (0)