diff options
| author | Andrew Leech <andrew.leech@planetinnovation.com.au> | 2023-10-11 08:13:53 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2023-10-11 14:05:14 +1100 |
| commit | d2a9d70c0977f02b4d52fa5e6d31f17c2a7aa313 (patch) | |
| tree | d4c8d15356359e42a1800392b3bf7e3b7a1b8ef6 /py/objfloat.c | |
| parent | 9f835df35e1628974437cdf87334667a9e2ce3c5 (diff) | |
| download | micropython-d2a9d70c0977f02b4d52fa5e6d31f17c2a7aa313.tar.gz micropython-d2a9d70c0977f02b4d52fa5e6d31f17c2a7aa313.zip | |
tools/ci.sh: Ensure enough commits are fetched for a common ancestor.
This commit updates the ci script to automatically fetch all upstream if
the common commit hasn't been found; this should preserve the speed of CI
checks for most PR's, and use a reliable but slow fetch if needed for older
ones.
Signed-off-by: Andrew Leech <andrew.leech@planetinnovation.com.au>
Diffstat (limited to 'py/objfloat.c')
0 files changed, 0 insertions, 0 deletions