From: Juraj Linkeš Date: Wed, 1 Jul 2020 11:21:07 +0000 (+0200) Subject: Infra: Update ansible ARM dev server X-Git-Url: https://gerrit.fd.io/r/gitweb?a=commitdiff_plain;h=a0c99f7d37f8460a5f362ef3402d9afdc6284e86;hp=a0c99f7d37f8460a5f362ef3402d9afdc6284e86;p=csit.git Infra: Update ansible ARM dev server Remove nomad installation from the ARM dev server and add a generic vppdev user to it. Add ansible role dev for this. Change-Id: Icb967ff18cbe939464ddb3d8dbce5101747e739f Signed-off-by: Juraj Linkeš ---