chore: drop unused sudo: required

This is not necessary on the new travis-ci setup as of December 2018. See this blog post for more details: https://blog.travis-ci.com/2018-11-19-required-linux-infrastructure-migration
This commit is contained in:
Jose Diaz-Gonzalez
2019-03-16 22:08:37 -04:00
parent 077f7e47f1
commit 1edb82305b

View File

@@ -1,4 +1,3 @@
sudo: required
dist: trusty
language: bash
env: