]> granicus.if.org Git - esp-idf/commit
projects / esp-idf / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35609de) | patch
CI: Use custom get_full_sources.sh script instead of gitlab-ci's strategies
authorAngus Gratton <angus@espressif.com>
Wed, 14 Jun 2017 07:52:33 +0000 (17:52 +1000)
committerAnton Maklakov <anton@espressif.com>
Fri, 30 Jun 2017 04:05:17 +0000 (12:05 +0800)
commitf52519d7a2670cbb9ce68477d7b07f718990fc03
treed7f97aaeace0a456b6150d7c983e13959aaa6aeftree | snapshot
parent35609de4177861fa45fd620e1cfea10f6927a140commit | diff
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.
.gitlab-ci.yml diff | blob | history
tools/ci/get-full-sources.sh [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.