From 03810e799dad7b7285500565a6bb8828fe303dbd Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Sun, 4 Aug 2019 19:01:24 +0300 Subject: Drop: extra workers for ci-prod --- ci-prod-workers.hz | 6 ++++++ 1 file changed, 6 insertions(+) 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] -- cgit v1.2.1