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
345aa0105b
solidity/.circleci
History
Leonardo Alt 3790f5fe0e Use CVC4 instead of Z3 for Ubuntu CI tests
2019-01-29 14:01:42 +01:00
..
config.yml Use CVC4 instead of Z3 for Ubuntu CI tests 2019-01-29 14:01:42 +01:00