Change proof_ci runner to 64-core (#247)

Co-authored-by: Paul Bartell <[email protected]> Co-authored-by: Aniruddha Kanhere <[email protected]>
FreeRTOS · Jun 26, 2023 · 000a574 · 000a574
1 parent c5a1efe
commit 000a574
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -118,7 +118,7 @@ jobs:
             config: .github/memory_statistics_config.json
             check_against: docs/doxygen/include/size_table.md
   proof_ci:
-    runs-on: cbmc_ubuntu-latest_32-core
+    runs-on: cbmc_ubuntu-latest_64-core
     steps:
       - name: Set up CBMC runner
         uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main