disable optimized tests for now

Author: RalfJung

ci.sh

@@ -25,7 +25,8 @@ function run_tests {
     # Only for host architecture: tests with optimizations (`-O` is what cargo passes, but crank MIR
     # optimizations up all the way).
     # Optimizations change diagnostics (mostly backtraces), so we don't check them
-    MIRIFLAGS="-O -Zmir-opt-level=4" MIRI_SKIP_UI_CHECKS=1 ./miri test --locked
+    #FIXME(#2155): we want to only run the pass and panic tests here, not the fail tests.
+    #MIRIFLAGS="-O -Zmir-opt-level=4" MIRI_SKIP_UI_CHECKS=1 ./miri test --locked
   fi
 
   # On Windows, there is always "python", not "python3" or "python2".