1 language: java 2 3 script: ./.travis-build.sh 4 5 sudo: false 6 7 jdk: 8 - oraclejdk8 9 10 jobs: 11 include: 12 - stage: trigger-downstream 13 jdk: oraclejdk8 14 script: | 15 echo "TRAVIS_BRANCH=$TRAVIS_BRANCH TRAVIS_PULL_REQUEST=$TRAVIS_PULL_REQUEST" 16 if [[ ($TRAVIS_BRANCH == master) && 17 ($TRAVIS_PULL_REQUEST == false) ]] ; then 18 curl -LO https://raw.github.com/mernst/plume-lib/master/bin/trigger-travis.sh 19 SLUGOWNER=${TRAVIS_REPO_SLUG%/*} 20 sh trigger-travis.sh ${SLUGOWNER} checker-framework $TRAVISTOKEN 21 fi 22 23 git: 24 depth: 9 25
