Ivan Grokhotkov 9d0751e2b1 ci: support jobs which don’t run unless triggered by name ... By default, any job will run unless a filter is given, in that case the filter will determine if the job should run or not. Some jobs do not need to be run by default, and should only be triggered using the bot. For such jobs, BOT_NEEDS_TRIGGER_BY_NAME can added to environment variables.		2018-04-19 15:08:08 +08:00
..
apply_bot_filter.py	ci: support jobs which don’t run unless triggered by name	2018-04-19 15:08:08 +08:00
build_examples.sh	build: Fix problems with building kconfig and generating sdkconfig	2018-03-28 10:39:20 +08:00
checkout_project_ref.py	CI: support customize test with @bot	2017-11-08 11:36:16 +08:00
configure_ci_environment.sh	build: Fix problems with building kconfig and generating sdkconfig	2018-03-28 10:39:20 +08:00
get-full-sources.sh	build: Fix problems with building kconfig and generating sdkconfig	2018-03-28 10:39:20 +08:00
mirror-list.txt	Update cJSON to v1.7.1	2018-02-05 14:15:26 +08:00
mirror-submodule-update.sh	build: Fix problems with building kconfig and generating sdkconfig	2018-03-28 10:39:20 +08:00
mirror-synchronize.sh	build: Fix problems with building kconfig and generating sdkconfig	2018-03-28 10:39:20 +08:00
test_build_system.sh	Merge branch 'feature/remove_make_dependency_on_git' into 'master'	2018-04-19 13:01:12 +08:00
test_configure_ci_environment.sh	CI: Move the ci-related staff to a separate directory	2017-06-30 11:57:07 +08:00