diff options
| -rw-r--r-- | ci-prod-workers.hz | 6 | ||||
| -rw-r--r-- | hosts.ci-prod-workers | 1 |
2 files changed, 4 insertions, 3 deletions
diff --git a/ci-prod-workers.hz b/ci-prod-workers.hz index 4e1877d..407bf57 100644 --- a/ci-prod-workers.hz +++ b/ci-prod-workers.hz @@ -1,11 +1,11 @@ defaults: - type: cx11 + type: cx21 image: debian-9 hosts: - name: worker1 groups: [workers, ickhost] - # - name: worker2 - # groups: [workers, ickhost] + - name: worker2 + groups: [workers, ickhost] # - name: worker3 # groups: [workers, ickhost] # - name: worker4 diff --git a/hosts.ci-prod-workers b/hosts.ci-prod-workers index 04f6763..ae6f020 100644 --- a/hosts.ci-prod-workers +++ b/hosts.ci-prod-workers @@ -1 +1,2 @@ worker1 ansible_ssh_host=ci-prod-workers-worker1.vm.liw.fi +worker2 ansible_ssh_host=ci-prod-workers-worker2.vm.liw.fi |