cerc-io/solidity
16
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

reenable arch smt tests

Browse Source
This commit is contained in:
Leo Alt 2023-04-05 14:55:57 +02:00
parent e6f099db92
commit 8e5f8c8595
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.circleci/config.yml
View File

@ -955,9 +955,8 @@ jobs:
environment:
TERM: xterm
MAKEFLAGS: -j 5
# Build without Z3. We won't be running SMT tests on Arch because that requires a specific
# version of Z3 and the one with the official repos is often not the one we need.
USE_Z3: OFF
# This can be switched off if we run out of sync with Arch.
USE_Z3: ON
steps:
- run:
name: Install build dependencies