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 /docs/develop/extendingmicropython.rst | |
| 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>
Diffstat (limited to 'docs/develop/extendingmicropython.rst')
0 files changed, 0 insertions, 0 deletions