blob: da431d8c3aeefa0e28a31bbafa8da1361fd6ccb9 [file] [log] [blame]
language: java
script: ./.travis-build.sh
sudo: false
jdk:
- oraclejdk8
# - oraclejdk7
- openjdk7
jobs:
include:
- stage: trigger downstream
jdk: oraclejdk8
script: |
echo "TRAVIS_BRANCH=$TRAVIS_BRANCH TRAVIS_PULL_REQUEST=$TRAVIS_PULL_REQUEST"
if [[ ($TRAVIS_BRANCH == master) &&
($TRAVIS_PULL_REQUEST == false) ]] ; then
curl -LO https://raw.github.com/mernst/plume-lib/master/bin/trigger-travis.sh
SLUGOWNER=${TRAVIS_REPO_SLUG%/*}
sh trigger-travis.sh ${SLUGOWNER} checker-framework $TRAVISTOKEN
fi
git:
depth: 9