gha runner

dougch · Jan 14, 2025 · 7320b4f · 7320b4f
1 parent 0673015
commit 7320b4f
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/proof_ci.yaml b/.github/workflows/proof_ci.yaml
@@ -24,7 +24,10 @@ on:
 
 jobs:
   run_cbmc_proofs:
-    runs-on: cbmc_ubuntu-latest_64-core
+    #runs-on: cbmc_ubuntu-latest_64-core
+    runs-on:
+      - codebuild-AL2nodejs-${{ github.run_id }}-${{ github.run_attempt }}
+      - instance-size:large
     name: run_cbmc_proofs
     permissions:
       contents: read