Mark Goddard 9fac359bf4 CI: enable Ansible SSH pipelining
This should improve performance of CI jobs.

Change-Id: I729862b89b4fe65cbb7f852fac06741b636e4939
2020-08-13 09:26:48 +01:00
..
2020-02-11 11:42:06 +01:00
2020-07-27 10:25:46 +01:00
2019-06-11 10:22:04 +01:00