mbox

[0/4] Reorganise Travis jobs

Message ID 20200219194131.29417-1-david.marchand@redhat.com (mailing list archive)
Headers

Message

David Marchand Feb. 19, 2020, 7:41 p.m. UTC
  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.