Merge pull request #8785 from ethereum/disco-to-focal

CircleCI: Change from Ubuntu Disco (19.04) to Ubuntu Focal (20.04) due to support EOL
This commit is contained in:
chriseth 2020-04-28 10:09:00 +02:00 committed by GitHub
commit 75a25d53c7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -284,7 +284,7 @@ jobs:
chk_coding_style:
docker:
- image: buildpack-deps:disco
- image: buildpack-deps:focal
steps:
- checkout
- run: