diff --git a/.github/workflows/why2-project.yml b/.github/workflows/why2-project.yml
index 88ceb1c..bb3649d 100644
--- a/.github/workflows/why2-project.yml
+++ b/.github/workflows/why2-project.yml
@@ -11,18 +11,13 @@ jobs:
 
     strategy:
       matrix:
-        os:  [ ubuntu-latest, macos-latest ]
+        os:  [ ubuntu-latest ]
         include:
           - os: ubuntu-latest
             configure: configure.sh
             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 ba986d4..46af1af 100644
--- a/.github/workflows/why2-test.yml
+++ b/.github/workflows/why2-test.yml
@@ -11,7 +11,7 @@ jobs:
 
     strategy:
       matrix:
-        os:  [ ubuntu-latest, macos-latest ]
+        os:  [ ubuntu-latest ]
         include:
           - os: ubuntu-latest
             output: out/why2-test
@@ -19,12 +19,6 @@ 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
@@ -65,18 +59,13 @@ jobs:
 
     strategy:
       matrix:
-        os:  [ ubuntu-latest, macos-latest ]
+        os:  [ ubuntu-latest ]
         include:
           - os: ubuntu-latest
             output: out/why2-test
             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