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 /resources/api | |
| 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 'resources/api')
0 files changed, 0 insertions, 0 deletions