Commit 1edc1264 replaced Travis CI with GitHub Actions. Remove the remaining references to Travis CI.
mentioned in commit 17923119