script:
- JOB_NUMBER=$(echo $TRAVIS_JOB_NUMBER | sed -e 's:[0-9][0-9]*\.\(.*\):\1:')
- echo JOB_NUMBER=$JOB_NUMBER TRAVIS_BRANCH=$TRAVIS_BRANCH TRAVIS_EVENT_TYPE=$TRAVIS_EVENT_TYPE TRAVIS_PULL_REQUEST=$TRAVIS_PULL_REQUEST
- - export FUZZERTEST=-T5mn;
- export ZSTREAM_TESTTIME=-T2mn;
- export DECODECORPUS_TESTTIME=-T1mn;
+ - export FUZZERTEST=-T3mn;
+ export ZSTREAM_TESTTIME=-T80s;
+ export DECODECORPUS_TESTTIME=-T40s;
if [ "$TRAVIS_EVENT_TYPE" = "cron" ]; then
+ date
git fetch origin dev;
git checkout -f FETCH_HEAD;
+ date # check fetch duration
fi;
sh -c "$Cmd" || travis_terminate 1;