From 22542afa225924709d5c9ac6bbfaa86e1c85d397 Mon Sep 17 00:00:00 2001
From: Qi Xiao <xiaqqaix@gmail.com>
Date: Mon, 16 Dec 2024 23:15:23 +0000
Subject: [PATCH] .github/workflows: Run checks on 3 OSes.

This fixes #1670.
---
 .github/workflows/ci.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 777d24e95..bc2aae6d1 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -131,7 +131,12 @@ jobs:
 
   checks:
     name: Run checks
-    runs-on: ubuntu-latest
+    # Most checks do not rely on the OS, but some (like check-gen) do. To ensure
+    # maximal coverage, we run all of the checks on the three main OSes.
+    strategy:
+      matrix:
+        os: [ubuntu, macos, windows]
+    runs-on: ${{ matrix.os }}-latest
     steps:
     - name: Checkout code
       uses: actions/checkout@v4