OVMS3-idf/tools/ci
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