diff --git a/.github/workflows/why2-project.yml b/.github/workflows/why2-project.yml
index 2881c2b..96cd023 100644
--- a/.github/workflows/why2-project.yml
+++ b/.github/workflows/why2-project.yml
@@ -13,7 +13,7 @@ jobs:
       matrix:
         os:  [ ubuntu-latest, macos-latest ]
         include:
-          - os: ubuntu-latest
+          - os: [ ubuntu-latest, macos-latest ]
             configure: configure.sh
             build: build.sh
             test: test
diff --git a/.github/workflows/why2-test.yml b/.github/workflows/why2-test.yml
index 7de4e5f..9d74f42 100644
--- a/.github/workflows/why2-test.yml
+++ b/.github/workflows/why2-test.yml
@@ -13,7 +13,7 @@ jobs:
       matrix:
         os:  [ ubuntu-latest, macos-latest ]
         include:
-          - os: ubuntu-latest
+          - os: [ ubuntu-latest, macos-latest ]
             output: out/why2-test
             configure: configure.sh
             build: build.sh
@@ -61,7 +61,7 @@ jobs:
       matrix:
         os:  [ ubuntu-latest, macos-latest ]
         include:
-          - os: ubuntu-latest
+          - os: [ ubuntu-latest, macos-latest ]
             output: out/why2-test
             configure: configure.sh
             app: why2