esp-idf/tools/ci
Angus Gratton 70764a4cf9 Merge branch 'bugfix/ci_use_mirror_for_public_v3.1' into 'release/v3.1'
ci: Use local mirrors on the public branches (master, release-) too

See merge request idf/esp-idf!3126
2018-08-30 14:22:42 +08:00
..
apply_bot_filter.py
build_examples.sh
build_examples_cmake.sh
check-executable.sh
check_examples_cmake_make.sh
checkout_project_ref.py
configure_ci_environment.sh
executable-list.txt
get-full-sources.sh
mirror-list.txt
mirror-submodule-update.sh
mirror-synchronize.sh
test_build_system.sh
test_build_system_cmake.sh
test_configure_ci_environment.sh