We are slowly moving the CI stuff to GitHub Action instead of Travis. Currently this page include all Travis references which seems to be outdated.