302 commits

Author	SHA1	Message	Date
Angus Gratton	f52519d7a2	CI: Use custom get_full_sources.sh script instead of gitlab-ci's strategies ... Work around problems caused by failed submodule clones corrupting the working directory on the build runner. Add 10 retries for cloning submodules.	2017-06-30 12:05:17 +08:00
Anton Maklakov	35609de417	CI: Move the ci-related staff to a separate directory	2017-06-30 11:57:07 +08:00