From 7320b4fb77171fad4823aac5b7be6d928e592666 Mon Sep 17 00:00:00 2001
From: Doug Chapman <dougch@amazon.com>
Date: Tue, 14 Jan 2025 19:49:27 +0000
Subject: [PATCH] gha runner

---
 .github/workflows/proof_ci.yaml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/proof_ci.yaml b/.github/workflows/proof_ci.yaml
index c946ccdf256..2f5d3768492 100644
--- 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