5 commits

Author	SHA1	Message	Date
MarcoFalke	fa36a333ee	travis: Switch to ubuntu keyserver to avoid timeouts	2019-03-29 11:38:25 -04:00
Graham Krizek	8b8d8eeae9	Remove travis_wait from lint script ... Also adding progress logging to verify-commits.py script to prevent Travis from timing out	2019-02-21 11:11:02 -06:00
MarcoFalke	fa3df025e1	travis: Avoid timeout on verify-commits check	2018-11-10 13:08:33 -05:00
Julian Fleischer	506890b24d	move remaining travis build steps into individual files	2018-08-27 12:23:25 +02:00
Julian Fleischer	272306ea57	number .travis/ script according to build lifecycle and add README to explain	2018-08-27 12:23:25 +02:00

Renamed from .travis/lint.sh (Browse further)