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
..
2016-01-13 13:47:49 +08:00
2018-11-06 16:43:19 +00:00
2020-03-01 09:57:35 +01:00
2020-04-24 15:57:55 +02:00
2020-06-17 11:37:57 +02:00
2020-06-17 18:24:07 +00:00
2019-07-02 20:44:33 +02:00
2020-08-11 13:55:01 +02:00
2020-02-11 11:42:06 +01:00
2020-01-28 14:03:33 -08:00
2019-11-07 18:03:07 +00:00
2019-08-14 12:32:51 -04:00
2020-05-01 18:03:14 +02:00
2019-12-10 13:19:17 +00:00
2020-02-25 10:08:54 -08:00