Fix capitalization, pass through, log env

Author: saethlin

.github/workflows/ci.yml

@@ -34,12 +34,12 @@ jobs:
     steps:
       - uses: actions/checkout@v3
 
-      - name: Set the tag GC interval to 0 on linux
-        if: runner.os == 'linux'
+      - name: Set the tag GC interval to 1 on linux
+        if: runner.os == 'Linux'
         run: echo "MIRIFLAGS=-Zmiri-tag-gc=1" >> $GITHUB_PATH
 
       - name: Disable the tag GC on non-linux
-        if: runner.os != 'linux'
+        if: runner.os != 'Linux'
         run: echo "MIRIFLAGS=-Zmiri-tag-gc=0" >> $GITHUB_PATH
 
       # We install gnu-tar because BSD tar is buggy on macOS builders of GHA.

ci.sh

@@ -24,14 +24,16 @@ function run_tests {
     echo "Testing host architecture"
   fi
 
+  env
+
   ## ui test suite
   ./miri test
   if [ -z "${MIRI_TEST_TARGET+exists}" ]; then
     # 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
     #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 -- tests/{pass,panic}
+    MIRIFLAGS="$MIRIFLAGS -O -Zmir-opt-level=4" MIRI_SKIP_UI_CHECKS=1 ./miri test -- tests/{pass,panic}
   fi
 
   ## test-cargo-miri