summaryrefslogtreecommitdiff
path: root/ci-prod-workers.hz
AgeCommit message (Expand)AuthorFilesLines
2019-10-15Add: another worker for ci-prodLars Wirzenius1-3/+3
2019-08-04Drop: extra workers for ci-prodLars Wirzenius1-0/+6
2019-06-15Fix: worker groupsLars Wirzenius1-2/+1
2018-11-17Add: groups to ci-prod*.hzLars Wirzenius1-0/+1
2018-09-17Drop: one worker for ci-prod, to save moneyLars Wirzenius1-1/+1
2018-09-13Change: split workers off main playbookLars Wirzenius1-0/+6