path: root/pipelines
AgeCommit message (Expand)AuthorFilesLines
2018-09-09Change: use in CI builds (not just release builds)Lars Wirzenius1-33/+10
2018-09-09Change: use distribution_ci, instead of distributionLars Wirzenius1-3/+3
2018-08-11Fix: clean up before pullingLars Wirzenius1-0/+2
2018-08-11Change: do .deb release builds for the given distributionLars Wirzenius1-1/+2
2018-08-11Add: pipelines for release building, archiving Debian packagesLars Wirzenius1-0/+50
2018-07-29Change: use pre-defined OUT and ERR functionsLars Wirzenius2-28/+3
2018-07-29Fix: add missing parameter declarations to pipelinesLars Wirzenius1-2/+3
2018-07-27Drop: build-dep on pylint3Lars Wirzenius2-33/+119
2018-07-25Add: some more proposd standard pipelines for ickLars Wirzenius3-0/+189
2018-07-23Change: rename pipeline to ick/get_sourcesLars Wirzenius1-1/+1
2018-07-23Add: get_sources pipelineLars Wirzenius1-0/+5
2018-07-23Add: pipelines/get_sources.ickLars Wirzenius1-0/+67