Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-08-04 | Drop: extra workers for ci-prod | Lars Wirzenius | 1 | -0/+6 |
2019-06-15 | Fix: worker groups | Lars Wirzenius | 1 | -2/+1 |
2018-11-17 | Add: groups to ci-prod*.hz | Lars Wirzenius | 1 | -0/+1 |
2018-09-17 | Drop: one worker for ci-prod, to save money | Lars Wirzenius | 1 | -1/+1 |
2018-09-13 | Change: split workers off main playbook | Lars Wirzenius | 1 | -0/+6 |