-
Notifications
You must be signed in to change notification settings - Fork 355
/
.travis.yml
109 lines (103 loc) · 4.53 KB
/
.travis.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
language: generic
## If the cache gets corrupted, clean it at https://travis-ci.com/ORG/REPO/caches .
before_cache:
- rm -f $HOME/.gradle/caches/modules-2/modules-2.lock
- rm -fr $HOME/.gradle/caches/*/plugin-resolution/
cache:
directories:
- $HOME/.gradle/caches/
- $HOME/.gradle/wrapper/
- $HOME/.m2/
services:
- docker
env:
global:
- THIS_REPO=checker-framework
- OS=ubuntu
matrix:
- GROUP=cftests-junit JDKVER=jdk11 TESTING=
- GROUP=cftests-junit JDKVER=jdk17 TESTING=
- GROUP=cftests-nonjunit JDKVER=jdk11 TESTING=
- GROUP=cftests-nonjunit JDKVER=jdk17 TESTING=
- GROUP=cftests-inference JDKVER=jdk11 TESTING=
- GROUP=cftests-inference JDKVER=jdk17 TESTING=
- GROUP=misc JDKVER=jdk11-plus TESTING=
- GROUP=misc JDKVER=jdk17-plus TESTING=
# - GROUP=cf-inference JDKVER=jdk11 TESTING=
# - GROUP=cf-inference JDKVER=jdk17 TESTING=
- GROUP=daikon-part1 JDKVER=jdk11 TESTING=
- GROUP=daikon-part1 JDKVER=jdk17 TESTING=
- GROUP=daikon-part2 JDKVER=jdk11 TESTING=
- GROUP=daikon-part2 JDKVER=jdk17 TESTING=
- GROUP=guava-formatter JDKVER=jdk11 TESTING=
- GROUP=guava-formatter JDKVER=jdk17 TESTING=
- GROUP=guava-index JDKVER=jdk11 TESTING=
- GROUP=guava-index JDKVER=jdk17 TESTING=
- GROUP=guava-interning JDKVER=jdk11 TESTING=
- GROUP=guava-interning JDKVER=jdk17 TESTING=
- GROUP=guava-lock JDKVER=jdk11 TESTING=
- GROUP=guava-lock JDKVER=jdk17 TESTING=
- GROUP=guava-nullness JDKVER=jdk11 TESTING=
- GROUP=guava-nullness JDKVER=jdk17 TESTING=
- GROUP=guava-regex JDKVER=jdk11 TESTING=
- GROUP=guava-regex JDKVER=jdk17 TESTING=
- GROUP=guava-signature JDKVER=jdk11 TESTING=
- GROUP=guava-signature JDKVER=jdk17 TESTING=
- GROUP=plume-lib JDKVER=jdk11 TESTING=
- GROUP=plume-lib JDKVER=jdk17 TESTING=
- GROUP=downstream JDKVER=jdk11 TESTING=
- GROUP=downstream JDKVER=jdk17 TESTING=
# The "docker run" command will pull if needed.
# Running this first gives two tries in case of network lossage.
before_script:
- timeout 5m docker pull mdernst/cf-$OS-$JDKVER$TESTING || true
# Using travis_wait here seems to cause the job to terminate after 1 minute
# with no error (!).
# The git commands are tried twice, in case of temporary network failure.
# The fcntl line works around a bug where Travis truncates logs and fails.
script:
- python -c "import fcntl; fcntl.fcntl(1, fcntl.F_SETFL, 0)"
- REMOTE_ORIGIN_URL=$(git config --get remote.origin.url)
- echo "THIS_REPO=${THIS_REPO}"
- echo "JDKVER=${JDKVER}"
- echo "GROUP=${GROUP}"
- echo "TRAVIS_BRANCH=${TRAVIS_BRANCH}"
- echo "REMOTE_ORIGIN_URL=${REMOTE_ORIGIN_URL}"
- echo "TRAVIS_EVENT_TYPE=${TRAVIS_EVENT_TYPE}"
- echo "TRAVIS_COMMIT_RANGE=${TRAVIS_COMMIT_RANGE}"
- echo "TRAVIS_COMMIT=${TRAVIS_COMMIT}"
- echo "TRAVIS_PULL_REQUEST=${TRAVIS_PULL_REQUEST}"
- echo "TRAVIS_PULL_REQUEST_BRANCH=${TRAVIS_PULL_REQUEST_BRANCH}"
- echo "TRAVIS_PULL_REQUEST_SHA=${TRAVIS_PULL_REQUEST_SHA}"
- echo "TRAVIS_PULL_REQUEST_SLUG=${TRAVIS_PULL_REQUEST_SLUG}"
- echo "TRAVIS_REPO_SLUG=${TRAVIS_REPO_SLUG}"
- >-
docker run -v $HOME/.gradle:/root/.gradle -v $HOME/.m2:/root/.m2 mdernst/cf-$OS-$JDKVER$TESTING /bin/bash -c "true &&
if [ $TRAVIS_EVENT_TYPE = pull_request ] ; then
git clone --quiet $REMOTE_ORIGIN_URL $THIS_REPO || (sleep 1m && git clone --quiet $REMOTE_ORIGIN_URL $THIS_REPO)
cd $THIS_REPO
git fetch origin +refs/pull/$TRAVIS_PULL_REQUEST/merge
git checkout -qf $TRAVIS_PULL_REQUEST_SHA
git config user.email [email protected]
git config user.name Noone Cares
git remote add theupstream https://github.com/$TRAVIS_REPO_SLUG.git
git pull theupstream $TRAVIS_BRANCH || (sleep 1m && git pull theupstream $TRAVIS_BRANCH)
else
git clone --quiet -b $TRAVIS_BRANCH $REMOTE_ORIGIN_URL $THIS_REPO || (sleep 1m && git clone --quiet -b $TRAVIS_BRANCH $REMOTE_ORIGIN_URL $THIS_REPO)
cd $THIS_REPO
git checkout -qf $TRAVIS_COMMIT
fi &&
export JAVA_HOME=\`which javac|xargs readlink -f|xargs dirname|xargs dirname\` &&
java -version &&
javac -version &&
export TRAVIS=$TRAVIS &&
export TRAVIS_BRANCH=${TRAVIS_BRANCH} &&
export TRAVIS_BUILD_DIR=$TRAVIS_BUILD_DIR &&
export TRAVIS_COMMIT_RANGE=$TRAVIS_COMMIT_RANGE &&
export TRAVIS_PULL_REQUEST=${TRAVIS_PULL_REQUEST} &&
export TRAVIS_PULL_REQUEST_BRANCH=${TRAVIS_PULL_REQUEST_BRANCH} &&
export TRAVIS_PULL_REQUEST_SLUG=${TRAVIS_PULL_REQUEST_SLUG} &&
export TRAVIS_REPO_SLUG=$TRAVIS_REPO_SLUG &&
./.travis-build.sh $GROUP"
git:
depth: 9