You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
language: c
|
|
|
|
dist: trusty
|
|
|
|
sudo: true
|
|
|
|
|
|
|
|
# Trusty (aka 14.04) is way way too old, so run in docker...
|
|
|
|
script:
|
|
|
|
- docker pull cdecker/lightning-ci > /dev/null
|
|
|
|
- docker run --rm=true -v "${TRAVIS_BUILD_DIR}":/build -t cdecker/lightning-ci make -j3
|
|
|
|
- docker run --rm=true -e NOVALGRIND=${NOVALGRIND:-0} -e TEST_DEBUG=${TEST_DEBUG:-0} -e NO_VALGRIND=${NOVALGRIND:-0} -v "${TRAVIS_BUILD_DIR}":/build -t cdecker/lightning-ci make check
|
|
|
|
- docker run --rm=true -v "${TRAVIS_BUILD_DIR}":/build -t cdecker/lightning-ci make check-source
|