Auto merge of #2543 - saethlin:be-slow-on-linux, r=oli-obk

Run the GC more often on Linux, not MacOS

Linux has more testing and is also faster in CI, we should do the extra slow checks there.

.github/workflows/ci.yml

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