[DEBUG] Switch to large resource class for jobs that fail on medium

.circleci/config.yml

@@ -518,6 +518,7 @@ jobs:
 
   b_ubu: &b_ubu
     <<: *base_ubuntu2004_xlarge
+    resource_class: large
     steps:
       - checkout
       - run: *run_build
@@ -529,6 +530,7 @@ jobs:
   # x64 ASAN build, for testing for memory related bugs
   b_ubu_asan: &b_ubu_asan
     <<: *base_ubuntu2004_xlarge
+    resource_class: large
     environment:
       CMAKE_OPTIONS: -DSANITIZE=address
       MAKEFLAGS: -j 10
@@ -549,6 +551,7 @@ jobs:
 
   b_ubu_asan_clang: &b_ubu_asan_clang
     <<: *base_ubuntu2004_clang
+    resource_class: large
     environment:
       CC: clang
       CXX: clang++
@@ -562,6 +565,7 @@ jobs:
 
   b_ubu_ubsan_clang: &b_ubu_ubsan_clang
     <<: *base_ubuntu2004_clang
+    resource_class: large
     environment:
       CC: clang
       CXX: clang++
@@ -576,12 +580,14 @@ jobs:
 
   b_ubu_release: &b_ubu_release
     <<: *b_ubu
+    resource_class: large
     environment:
       FORCE_RELEASE: ON
       MAKEFLAGS: -j 10
 
   b_ubu_static:
     <<: *base_ubuntu2004_xlarge
+    resource_class: large
     environment:
       MAKEFLAGS: -j 10
       CMAKE_OPTIONS: -DCMAKE_BUILD_TYPE=Release -DUSE_Z3_DLOPEN=ON -DUSE_CVC4=OFF -DSOLC_STATIC_STDLIBS=ON
@@ -595,6 +601,7 @@ jobs:
 
   b_ubu_codecov:
     <<: *base_ubuntu2004_xlarge
+    resource_class: large
     environment:
       COVERAGE: ON
       CMAKE_BUILD_TYPE: Debug
@@ -631,6 +638,7 @@ jobs:
   # Do *NOT* store any artifacts or workspace as we don't run tests on this build.
   b_ubu_cxx20:
     <<: *base_ubuntu2004_xlarge
+    resource_class: large
     environment:
       CMAKE_BUILD_TYPE: Debug
       CMAKE_OPTIONS: -DCMAKE_CXX_STANDARD=20 -DUSE_CVC4=OFF
@@ -666,6 +674,7 @@ jobs:
 
   b_archlinux:
     <<: *base_archlinux
+    resource_class: large
     environment:
       TERM: xterm
       MAKEFLAGS: -j 10
@@ -747,6 +756,7 @@ jobs:
 
   b_ems:
     <<: *base_ems_xlarge
+    resource_class: large
     steps:
       - checkout
       - run:
@@ -823,6 +833,7 @@ jobs:
     # NOTE: This definition is identical to t_ubu_soltest_all but in the workflow we make it depend on
     # a different job (b_ubu_release) so the workspace it attaches contains a different executable.
     <<: *t_ubu_soltest_all
+    resource_class: large
 
   t_ubu_cli: &t_ubu_cli
     <<: *base_ubuntu2004