travis: Remove deprecated sudo option, set default OS

Also replaces `matrix` with the current official name `jobs`.
This commit is contained in:
Tobias Brunner 2020-02-19 11:50:26 +01:00
parent cfed3a87ee
commit e365bef4a4

View File

@ -1,6 +1,6 @@
language: c
sudo: required
os: linux
dist: bionic
# don't build tags separately
@ -35,7 +35,7 @@ env:
- LEAK_DETECTIVE=no
- MONOLITHIC=no
matrix:
jobs:
include:
- env: TEST=sonarcloud
if: type = push AND env(SONAR_TOKEN) IS present