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

disable SMT tests for the clang job

Browse Source
This commit is contained in:
Leo Alt 2022-08-30 11:02:14 +02:00
parent 16c0838f75
commit 22e4e2cdc9
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.circleci/config.yml
View File

@ -1087,6 +1087,9 @@ jobs:
environment: environment:
EVM: << pipeline.parameters.evm-version >> EVM: << pipeline.parameters.evm-version >>
OPTIMIZE: 0 OPTIMIZE: 0
# The high parallelism in this job is causing the SMT tests to run out of memory,
# so disabling for now.
SOLTEST_FLAGS: --no-smt
<<: *steps_soltest <<: *steps_soltest
t_ubu_release_soltest_all: &t_ubu_release_soltest_all t_ubu_release_soltest_all: &t_ubu_release_soltest_all