diff --git a/.github/workflows/why2-project.yml b/.github/workflows/why2-project.yml
index bb3649d..2881c2b 100644
--- a/.github/workflows/why2-project.yml
+++ b/.github/workflows/why2-project.yml
@@ -11,7 +11,7 @@ jobs:
 
     strategy:
       matrix:
-        os:  [ ubuntu-latest ]
+        os:  [ ubuntu-latest, macos-latest ]
         include:
           - os: ubuntu-latest
             configure: configure.sh
diff --git a/.github/workflows/why2-test.yml b/.github/workflows/why2-test.yml
index 46af1af..7de4e5f 100644
--- a/.github/workflows/why2-test.yml
+++ b/.github/workflows/why2-test.yml
@@ -11,7 +11,7 @@ jobs:
 
     strategy:
       matrix:
-        os:  [ ubuntu-latest ]
+        os:  [ ubuntu-latest, macos-latest ]
         include:
           - os: ubuntu-latest
             output: out/why2-test
@@ -59,7 +59,7 @@ jobs:
 
     strategy:
       matrix:
-        os:  [ ubuntu-latest ]
+        os:  [ ubuntu-latest, macos-latest ]
         include:
           - os: ubuntu-latest
             output: out/why2-test