diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 98f94b1bf..ee21d91bb 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -97,7 +97,7 @@ jobs:
   cbmc:
     strategy:
       matrix:
-        system: [macos-latest, ubuntu-latest]
+        system: [macos-latest]
     runs-on: ${{ matrix.system }}
     defaults:
       run: