diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index fde575922dd1..80d150e1df15 100644 --- a/.github/workflows/ci.yml +++ b/.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.