Samuel Attard 160d6923db build: improve CI speeds and reduce CI costs (#33904) ... * rely on src cache instead of workspace * run some tasks in the background and "thread join" later * merge some ninja build commands to reduce overhead		2022-04-26 23:14:59 -07:00
..
config	build: improve CI speeds and reduce CI costs (#33904)	2022-04-26 23:14:59 -07:00
.gitignore	build: improve circleci config (#33881)	2022-04-21 14:34:25 -07:00
config.yml	build: improve circleci config (#33881)	2022-04-21 14:34:25 -07:00
fix-known-hosts.sh	build: add a workaround for circleci known_hosts issue (#17471)	2019-03-19 19:37:52 -07:00