Added -tip to the CI tests