Don't run CBMC on free ubuntu-latest runner

We seem to be hitting resource limitations and need to consider re-enabling it on a self-hosted runner (likely EC2). Signed-off-by: Hanno Becker <[email protected]>
pq-code-package · Sep 10, 2024 · b31b8d7 · b31b8d7
1 parent 9d76e91
commit b31b8d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: