path: root/header_checks
diff options
authorStefan Schmidt <>2018-11-16 12:35:55 +0100
committerStefan Schmidt <>2018-11-16 15:39:41 +0100
commit372374382a127f11996c0383a023f077675c9158 (patch)
tree8ebc2b6981b13ad43c5aaa77a0408e12a245221a /header_checks
parentd4526f44b8c20010061c42a87ac0496796311afb (diff)
travis: move parts of our build matrix to only run on the daily travis cron job
We need to keep our builds running for every push to a minimum. Various distro builds as well as the release-ready build can happily run once a day. This commit also switches from a build matrix to a simple list of build jobs to allow the usage of build type = cron condition (not possible with the matrix builds) Differential Revision:
Diffstat (limited to 'header_checks')
0 files changed, 0 insertions, 0 deletions