fixup! CI: Double the number of threads for jobs that did slow down after switching to a smaller resource class

Author: cameel

.circleci/config.yml

@@ -596,7 +596,7 @@ jobs:
       TERM: xterm
       CC: clang
       CXX: clang++
-      MAKEFLAGS: -j 10
+      MAKEFLAGS: -j 12
     steps:
       - checkout
       - run: *run_build
@@ -642,7 +642,7 @@ jobs:
     # Runs 2x faster on large and 3x on xlarge but no other jobs depend on it we can live with medium.
     <<: *base_ubuntu2004
     environment:
-      MAKEFLAGS: -j 6
+      MAKEFLAGS: -j 5
       CMAKE_OPTIONS: -DCMAKE_BUILD_TYPE=Release -DUSE_Z3_DLOPEN=ON -DUSE_CVC4=OFF -DSOLC_STATIC_STDLIBS=ON
     steps:
       - checkout
@@ -693,7 +693,7 @@ jobs:
     environment:
       CMAKE_BUILD_TYPE: Debug
       CMAKE_OPTIONS: -DCMAKE_CXX_STANDARD=20 -DUSE_CVC4=OFF
-      MAKEFLAGS: -j 10
+      MAKEFLAGS: -j 12
     steps:
       - checkout
       - run: *run_build
@@ -1275,7 +1275,7 @@ workflows:
           <<: *workflow_emscripten
           name: t_ems_test_ext_zeppelin
           project: zeppelin
-          resource_class: medium
+          resource_class: large
       - t_ems_ext:
           <<: *workflow_emscripten
           name: t_ems_test_ext_ens