CI: enable Ansible SSH pipelining

This should improve performance of CI jobs.

Change-Id: I729862b89b4fe65cbb7f852fac06741b636e4939
This commit is contained in:
Mark Goddard 2020-08-13 09:26:48 +01:00
parent 516658f489
commit 9fac359bf4

View File

@ -1,3 +1,6 @@
[defaults] [defaults]
callback_plugins = {{ ara_callback_plugins.stdout }} callback_plugins = {{ ara_callback_plugins.stdout }}
host_key_checking = False host_key_checking = False
[ssh_connection]
pipelining = True