Change Travis mentions to "CI" or remove as appropriate#671

Open

fulldecent wants to merge 2 commits intogoogle:mainfrom fulldecent:fix/travis-mentions

+20-69

Commits on Jan 5, 2025

change Travis mentions to "CI" or remove as appropriate
fulldecent
committed

Commits on Jan 8, 2025

Merge branch 'main' into fix/travis-mentions
drinckes
authored