This series tries to make the travis configuration a bit easier to read, then drops jobs that are not essential or functional duplicates in the hope we can give some oxygen to the robot who seems to lag quite a bit and can't catch up.
-- David Marchand David Marchand (4): ci: remove unnecessary dependency on linux headers ci: fix Travis config warnings ci: use an explicit list of Travis jobs ci: reorganise Travis jobs .travis.yml | 139 ++++++++++++++++++++-------------------------------- 1 file changed, 54 insertions(+), 85 deletions(-) -- 2.23.0
