Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
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 |