diff options
author | Lars Wirzenius <liw@liw.fi> | 2019-08-04 19:01:24 +0300 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2019-08-04 19:01:24 +0300 |
commit | 03810e799dad7b7285500565a6bb8828fe303dbd (patch) | |
tree | 1d6a93f06a54e559673fa03b977ecf6405ef4ce7 /ci-prod-workers.hz | |
parent | 1ea1aaa10f1f2156f32989f92ebf13b09f3d5d7a (diff) | |
download | ick2-ansible-03810e799dad7b7285500565a6bb8828fe303dbd.tar.gz |
Drop: extra workers for ci-prod
Diffstat (limited to 'ci-prod-workers.hz')
-rw-r--r-- | ci-prod-workers.hz | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ci-prod-workers.hz b/ci-prod-workers.hz index e7002b1..4e1877d 100644 --- a/ci-prod-workers.hz +++ b/ci-prod-workers.hz @@ -4,3 +4,9 @@ defaults: hosts: - name: worker1 groups: [workers, ickhost] + # - name: worker2 + # groups: [workers, ickhost] + # - name: worker3 + # groups: [workers, ickhost] + # - name: worker4 + # groups: [workers, ickhost] |