From 9133ae94b28bb484898ff37a89aa3703298b17d2 Mon Sep 17 00:00:00 2001
From: "Rodrigo Q. Saramago" <rodrigoqsaramago@gmail.com>
Date: Mon, 5 Dec 2022 18:16:20 +0100
Subject: [PATCH] Increase resource class

---
 .circleci/config.yml | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 1f3716b8f..f42a52b3f 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -425,9 +425,10 @@ defaults:
         TERM: xterm
         MAKEFLAGS: -j 2
 
-  - eof_ubuntu2204_small: &eof_ubuntu2204_small
-      <<: *base_cimg_small
-      resource_class: small
+  - base_ubuntu2204_large: &base_ubuntu2204_large
+      docker:
+        - image: cimg/base:current
+      resource_class: large
       environment:
         TERM: xterm
         MAKEFLAGS: -j 5
@@ -1045,7 +1046,7 @@ jobs:
     <<: *steps_soltest_all
 
   t_ubu_soltest_eof: &t_ubu_soltest_eof
-    <<: *eof_ubuntu2204_small
+    <<: *base_ubuntu2204_large
     environment:
       CMAKE_OPTIONS: -DUSE_CVC4=OFF
       EVM: "shanghai"