summaryrefslogtreecommitdiff
path: root/.ci/ci-make-examples.sh (follow)
AgeCommit message (Expand)Author
2019-06-19ci: remove no longer needed make examples scriptStefan Schmidt
2019-06-19ci: remove autotools-related conditionalsMike Blumenkrantz
2018-11-23ci: here comes ninja!Marcel Hollerbach
2018-07-30ci: disable built-in make rules and variablesMike Blumenkrantz
2018-07-26ci: add folding for travis logsMike Blumenkrantz
2018-07-26ci: refactor all build steps into separate build scriptsMike Blumenkrantz