Commit 1edc1264 replaced Travis CI with GitHub Actions. Remove the remaining references to Travis CI. (cherry picked from commit 4ce4c737)