Merge pull request #4385 from ethereum/circle2.0

Update to CircleCI 2.0
This commit is contained in:
chriseth 2018-06-29 13:28:02 +02:00 committed by GitHub
commit 975dddf1b1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23