Samuel Attard 612e3f7ff7 build: optimize the CI path where we update the patch files (#19851) ... Currently the happy checkout takes 7 minutes and the sad checkout takes 30 minutes. This updates our CI to run checkout twice for every job to make the sad checkout take nearer 10 minutes instead.		2019-08-21 14:52:17 -04:00
..
config.yml	build: optimize the CI path where we update the patch files (#19851)	2019-08-21 14:52:17 -04:00
fix-known-hosts.sh	build: add a workaround for circleci known_hosts issue (#17471)	2019-03-19 19:37:52 -07:00