From 2b8f6c55720c49d24c3b7744846fc3a0d662c6a9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= <kamil.sliwak@codepoets.it>
Date: Thu, 28 Oct 2021 16:25:14 +0200
Subject: [PATCH] [DEBUG] Switch to large resource class for jobs that fail on
 medium

---
 .circleci/config.yml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 26352f56b..b1a59a7aa 100644
--- a/.circleci/config.yml
+++ b/.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