Only run test-bot on macOS

Closes #59. Signed-off-by: Andres Noetzli <[email protected]>
CVC4 · May 13, 2021 · 4273b87 · 4273b87
1 parent ba531bb
commit 4273b87
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -8,7 +8,7 @@ jobs:
   test-bot:
     strategy:
       matrix:
-        os: [ubuntu-latest, macos-latest]
+        os: [macos-latest]
     runs-on: ${{ matrix.os }}
     steps:
       - name: Set up Homebrew