diff --git a/.github/workflows/why2-project.yml b/.github/workflows/why2-project.yml
index 2881c2b..88ceb1c 100644
--- a/.github/workflows/why2-project.yml
+++ b/.github/workflows/why2-project.yml
@@ -18,6 +18,11 @@ jobs:
             build: build.sh
             test: test
 
+          - os: macos-latest
+            configure: configure.sh
+            build: build.sh
+            test: test
+
     steps:
       - name: Checkout repository
         uses: actions/checkout@v2
diff --git a/.github/workflows/why2-test.yml b/.github/workflows/why2-test.yml
index 7de4e5f..ba986d4 100644
--- a/.github/workflows/why2-test.yml
+++ b/.github/workflows/why2-test.yml
@@ -19,6 +19,12 @@ jobs:
             build: build.sh
             app: why2
 
+          - os: macos-latest
+            output: out/why2-test
+            configure: configure.sh
+            build: build.sh
+            app: why2
+
     steps:
       - name: Checkout repository
         uses: actions/checkout@v2
@@ -66,6 +72,11 @@ jobs:
             configure: configure.sh
             app: why2
 
+          - os: macos-latest
+            output: out/why2-test
+            configure: configure.sh
+            app: why2
+
     steps:
       - name: Checkout repository
         uses: actions/checkout@v2