From 93e41f625ae97cbedca37358ef8f3d15e3164068 Mon Sep 17 00:00:00 2001
From: Ben Kimock <kimockb@gmail.com>
Date: Tue, 13 Sep 2022 10:12:57 -0400
Subject: [PATCH] Linux has more testing, we should do the extra checks there

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index fde575922dd..80d150e1df1 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.