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:
|
|
- tools/travis.sh
|
|
|