Angus Gratton bc8a84e9e4 ci: Fix spurious pipeline failure when deploying a tag to GitHub ... Everything succeeds, but because [ -z ${CI_COMMIT_TAG} ] on the last line returns non-zero, it fails the job.		2018-09-07 15:24:23 +08:00
..
apply_bot_filter.py	CI: support customize test with @bot	2017-11-08 11:36:16 +08:00
build_examples.sh	CI: Fix an occasional error caused by reordering the commands along with 'tee' in the script	2018-01-16 09:51:34 +08:00
checkout_project_ref.py	CI: support customize test with @bot	2017-11-08 11:36:16 +08:00
configure_ci_environment.sh	CI: Fix the unbound variables in scripts	2017-07-06 18:52:08 +08:00
get-full-sources.sh	CI: Fix the spell for more reliable getting the sources	2017-08-21 11:52:49 +08:00
mirror-list.txt	Update cJSON to v1.7.1	2018-02-05 14:52:39 +08:00
mirror-submodule-update.sh	CI: Fix the getting sources	2017-07-06 16:48:07 +08:00
mirror-synchronize.sh	CI: Add script for synchronization of the local mirrors for submodules	2017-06-30 12:07:06 +08:00
push_to_github.sh	ci: Fix spurious pipeline failure when deploying a tag to GitHub	2018-09-07 15:24:23 +08:00
test_build_system.sh	build system tests: Don't unix2dos .git files, build directories	2017-09-20 18:21:29 +10:00
test_configure_ci_environment.sh	CI: Move the ci-related staff to a separate directory	2017-06-30 11:57:07 +08:00