Remove deprecated sudo configuration

Addresses warnings of the form:

jobs.include: deprecated key sudo (The key `sudo` has no effect
anymore.)
This commit is contained in:
Andrew Gaul 2020-04-15 10:09:52 +09:00
parent 538fbed302
commit 84bf460f99

View File

@ -23,7 +23,6 @@ language: cpp
matrix:
include:
- os: linux
sudo: required
dist: trusty
cache: apt
before_install:
@ -97,7 +96,6 @@ matrix:
- test/filter-suite-log.sh test/test-suite.log
- os: linux-ppc64le
sudo: required
dist: trusty
cache: apt
before_install: