diff options
author | Juraj Linkeš <juraj.linkes@pantheon.tech> | 2020-07-01 13:21:07 +0200 |
---|---|---|
committer | Juraj Linkeš <juraj.linkes@pantheon.tech> | 2020-07-01 13:43:25 +0200 |
commit | a0c99f7d37f8460a5f362ef3402d9afdc6284e86 (patch) | |
tree | 4a778752b2a2e60bb804289218229957be2b6c66 /docs/job_specs/report_coverage/3n-skx/l2-02.md | |
parent | d9e9ec7c969cb3d197895c64664e65f26863563d (diff) |
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š <juraj.linkes@pantheon.tech>
Diffstat (limited to 'docs/job_specs/report_coverage/3n-skx/l2-02.md')
0 files changed, 0 insertions, 0 deletions