Add MacOS to Kani workflow

celinval · Jun 8, 2024 · e21d3f9 · e21d3f9
1 parent 6134b8c
commit e21d3f9
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
@@ -21,7 +21,11 @@ defaults:
 
 jobs:
   build:
-    runs-on: ubuntu-latest
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        # Kani does not support windows.
+        os: [ubuntu-latest, macos-latest]
     steps:
       - name: Checkout Library
         uses: actions/checkout@v4