Travis-ci.org shutting down

Hey!

I noticed the following banner on Travis:

Please be aware travis-ci.org will be shutting down in several weeks, with all accounts migrating to travis-ci.com. Please stay tuned here for more information.

Links from Github PRs still point to Travis-ci.org. I am just curious - do we need to perform some reconfiguration?

I’d guess it is related to the Travis CI changing their pricing, effectively eliminating the free OSS tier so I think we need to change the configuration to github actions or preferably to Jenkins if possible.

I think the links will auto-update (at least on newer runs) whenever our account gets migrated to dot-com, so this shouldn’t be something to worry about.

Nevertheless we should migrate away from Travis, and have been doing so in most parts of the Org already.