Commit Graph

13 Commits

Author SHA1 Message Date
Marius Vikhammer 06af651a51 docs: seperate build_docs html and pdf CI jobs
Due to eager_exclude, Sphinx jobs cannot use the doc cache (doctrees).

PDF and HTML building are now seperate CI jobs to avoid this issue.
PDF building will only be ran on deploy branches and when started
with build_docs tag to reduce CI load
2020-09-21 10:48:04 +08:00
Anton Maklakov 34b677d03b ci: use the retry script to download 2020-07-20 15:18:32 +07:00
Angus Gratton 6fda77828f ci: Allow test-management working dir to be missing on clone 2020-07-15 11:11:41 +00:00
Michael (XIAO Xufeng) f9f617cd4f ci: fix the issue that build_docs label has to be used with regular_test
The deploy_docs_preview used to be in the last stage (deploy), which is
later than the post_check. However the label check in the post_check
stage will fail when build_docs is used without regular test. Move the
deploy_docs_preview to new earlier stage (test_deploy) to fix this.

Also move related job `clang_tidy_deploy` there.
2020-06-12 10:59:46 +08:00
Angus Gratton 469b7bc4cf 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-22 15:04:39 +10:00
Angus Gratton 1a2ddcb77a docs: deploy docs to production server from CI 2020-03-16 14:36:23 +11:00
Angus Gratton 416076665b docs: use new sphinx_idf_theme theme, add variables to allow theme to build version footer 2020-03-16 14:36:23 +11:00
Angus Gratton f906095789 docs ci: Ensure deploy directory exists 2020-02-10 19:55:15 +11:00
Angus Gratton ee03e04947 docs: Run build_docs script in ci 2020-02-07 16:37:44 +11:00
morris e30cd361a8 global: rename esp32s2beta to esp32s2 2020-01-22 12:14:38 +08: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