4 commits

Author	SHA1	Message	Date
Angus Gratton	ad4dfed632	ci: Don't push to Github or deploy docs on customized pipelines ... BOT_TRIGGER_WITH_LABEL must be empty (meaning all tests are running).	2020-05-27 19:05:02 +10:00
Anton Maklakov	ac0c7cce9c	ci: fix tags for internal deploy jobs	2020-01-10 17:36:52 +07:00
Angus Gratton	24d26fccde	Merge branch 'master' into feature/esp32s2beta_update	2019-08-08 13:44:24 +10:00
He Yin Ling	e390dd3eab	CI: use include to split large CI config file	2019-07-03 16:59:50 +08:00