Use travis-ci.com rather than travis-ci.org

typetools · Nov 4, 2020 · 79992d0 · 79992d0
1 parent 1544fa5
commit 79992d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -98,7 +98,7 @@ jobs:
 
             git ls-remote https://github.com/${SLUGOWNER}/checker-framework.git &>/dev/null
             if [ "$?" -eq 0 ]; then
-              sh trigger-travis.sh ${SLUGOWNER} checker-framework $TRAVIS_ACCESS_TOKEN
+              sh trigger-travis.sh --pro ${SLUGOWNER} checker-framework $TRAVIS_ACCESS_TOKEN
             fi
           fi