ci: Remove unused IS_PRIVATE and IS_PUBLIC environment

This commit is contained in:
Anton Maklakov
2019-05-30 13:12:36 +07:00
parent beaefd3359
commit 3b3b891282
3 changed files with 4 additions and 52 deletions
+1 -4
View File
@@ -90,10 +90,7 @@ before_script:
- base64 --decode --ignore-garbage ~/.ssh/id_rsa_base64 > ~/.ssh/id_rsa
- chmod 600 ~/.ssh/id_rsa
- echo -e "Host gitlab.espressif.cn\n\tStrictHostKeyChecking no\n" >> ~/.ssh/config
# Set IS_PRIVATE or IS_PUBLIC depending on if our branch is public or not
#
# (the same regular expressions are used to set these are used in 'only:' sections below
# Set some options and environment for CI
- source tools/ci/configure_ci_environment.sh
- *setup_tools_unless_target_test