diff options
| author | Lars Wirzenius <liw@liw.fi> | 2018-09-17 09:17:39 +0300 |
|---|---|---|
| committer | Lars Wirzenius <liw@liw.fi> | 2018-09-17 09:17:39 +0300 |
| commit | 9c522ae109daa2a5231168526f3848ffd33d4cac (patch) | |
| tree | c6febb05851dd34012e020b160e590a5ee28b544 /ci-prod-workers.hz | |
| parent | e96f3a688ef60b737d93c1650048d1344b76c991 (diff) | |
| download | ick2-ansible-9c522ae109daa2a5231168526f3848ffd33d4cac.tar.gz | |
Drop: one worker for ci-prod, to save money
Diffstat (limited to 'ci-prod-workers.hz')
| -rw-r--r-- | ci-prod-workers.hz | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci-prod-workers.hz b/ci-prod-workers.hz index abd0f8f..1935659 100644 --- a/ci-prod-workers.hz +++ b/ci-prod-workers.hz @@ -3,4 +3,4 @@ defaults: image: debian-9 hosts: - name: worker1 - - name: worker2 +# - name: worker2 |