summaryrefslogtreecommitdiff
path: root/.ci/distcheck.sh (follow)
AgeCommit message (Expand)Author
2019-06-19ci: remove no longer used scripts and patch fileStefan Schmidt
2018-09-14ci: run tests up to 5 times before failingMike Blumenkrantz
2018-08-21ci: explicitly clone and build an external app during distcheckMike Blumenkrantz
2018-08-21ci: disable backtracing on log errorsMike Blumenkrantz
2018-08-17ci: use manual script for distcheck buildMike Blumenkrantz