From 14a7a6179eb47f83dae472da8204f56e6e4a8678 Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Tue, 15 Oct 2019 13:21:09 +0300 Subject: Add: another worker for ci-prod --- ci-prod-workers.hz | 6 +++--- 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 -- cgit v1.2.1