From e21d3f98abf220f6de877270c5404052ad1d6108 Mon Sep 17 00:00:00 2001
From: "Celina G. Val" <celinval@amazon.com>
Date: Fri, 7 Jun 2024 17:03:02 -0700
Subject: [PATCH] Add MacOS to Kani workflow

---
 .github/workflows/kani.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index 4b710bf900163..03365bd9cdbf1 100644
--- 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