diff options
| author | Damien George <damien@micropython.org> | 2021-01-24 15:02:20 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2021-01-24 15:02:20 +1100 |
| commit | 203e1d2a65273db3f6ff063ba1124a89c3482c0f (patch) | |
| tree | 245eacbd0e7c6417add0a967f40a11fb9f1bdf78 | |
| parent | 0a079155e46d588095e4419b1095fd4ae691ab50 (diff) | |
tools/ci.sh: For code size build, fetch history of master branch only.
It's not necessary to fetch all branches.
Signed-off-by: Damien George <damien@micropython.org>
| -rwxr-xr-x | tools/ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index a68e6c113..86c17bb69 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -42,7 +42,7 @@ function ci_code_size_build { # starts off at either the ref/pull/N/merge FETCH_HEAD, or the current branch HEAD git checkout -b pull_request # save the current location git remote add upstream https://github.com/micropython/micropython.git - git fetch --depth=100 upstream + git fetch --depth=100 upstream master # build reference, save to size0 # ignore any errors with this build, in case master is failing git checkout `git merge-base --fork-point upstream/master pull_request` |