Edited: Proceeding with the removal now, has been some extra weeks running GHA without problem.
⚠️ ⚠️ NOTE: Please, let's wait a couple of weeks before pulling this in. Say 30th May 2021. We are going to comment into ongoing issues about the change, so everybody knows, and also, we get some more GHA runs before killing Travis.
GHA integration has been added recently: #159
Jobs in this repo are a lot (of combinations)
and they keep our travis busy for hours, not
allowing other repos to advance.
Edited: Proceeding with the removal now, has been some extra weeks running GHA without problem.
⚠️ ⚠️ NOTE: Please, let's wait a couple of weeks before pulling this in. Say 30th May 2021. We are going to comment into ongoing issues about the change, so everybody knows, and also, we get some more GHA runs before killing Travis.GHA integration has been added recently: #159
Jobs in this repo are a lot (of combinations) and they keep our travis busy for hours, not allowing other repos to advance.
Plus, solve critical (😛 ) typo in comment.
This closes #161