cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Increase resource class

Browse Source
This commit is contained in:
Rodrigo Q. Saramago 2022-12-05 18:16:20 +01:00
parent 9bdf854aab
commit 9133ae94b2
No known key found for this signature in database
GPG Key ID: 9B36B2525704A359
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
.circleci/config.yml
View File

@ -425,9 +425,10 @@ defaults:
TERM: xterm TERM: xterm
MAKEFLAGS: -j 2 MAKEFLAGS: -j 2
- eof_ubuntu2204_small: &eof_ubuntu2204_small - base_ubuntu2204_large: &base_ubuntu2204_large
<<: *base_cimg_small docker:
resource_class: small - image: cimg/base:current
resource_class: large
environment: environment:
TERM: xterm TERM: xterm
MAKEFLAGS: -j 5 MAKEFLAGS: -j 5
@ -1045,7 +1046,7 @@ jobs:
<<: *steps_soltest_all <<: *steps_soltest_all
t_ubu_soltest_eof: &t_ubu_soltest_eof t_ubu_soltest_eof: &t_ubu_soltest_eof
<<: *eof_ubuntu2204_small <<: *base_ubuntu2204_large
environment: environment:
CMAKE_OPTIONS: -DUSE_CVC4=OFF CMAKE_OPTIONS: -DUSE_CVC4=OFF
EVM: "shanghai" EVM: "shanghai"