diff options
| author | Damien George <damien.p.george@gmail.com> | 2020-04-30 11:18:32 +1000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2020-04-30 23:04:39 +1000 |
| commit | 4371c971e3dfb743388ccb493c137a25aa9cdd35 (patch) | |
| tree | 87fb6897eb19b8ff64d52965b9373f5c1db78df6 /docs/library/micropython.rst | |
| parent | 5c8bf12acf3d4cc4cebf971a6f61508559a28143 (diff) | |
travis: Make sure upstream/master exists when computing size-diff check.
Explicitly add the repository as upstream and fetch the master commit.
This makes this bare-arm/minimal job more robust when finding the
fork-point of a PR relative to upstream/master (especially for forks of
this repo).
Diffstat (limited to 'docs/library/micropython.rst')
0 files changed, 0 insertions, 0 deletions