mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
Merge pull request #11532 from ethereum/workaround-for-archlinux-z3-4.8.11
Workaround for archlinux z3 4.8.11 + remove runc workaround
This commit is contained in:
commit
b2ffa91058
@ -721,7 +721,10 @@ jobs:
|
||||
TERM: xterm
|
||||
# For Archlinux we do not have prebuilt docker images and we would need to build evmone from source,
|
||||
# thus we forgo semantics tests to speed things up.
|
||||
SOLTEST_FLAGS: --no-semantic-tests
|
||||
# FIXME: Z3 4.8.11 prerelease is now in main Arch Linux repos but it makes some of our SMT
|
||||
# tests hang. Disabling SMT tests until we get a proper release.
|
||||
# See https://github.com/Z3Prover/z3/issues/5330 for more details.
|
||||
SOLTEST_FLAGS: --no-semantic-tests --no-smt
|
||||
steps:
|
||||
- run:
|
||||
name: Install runtime dependencies
|
||||
|
Loading…
Reference in New Issue
Block a user