diff options
| author | Damien George <damien@micropython.org> | 2020-11-29 18:04:35 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2020-11-29 22:21:28 +1100 |
| commit | 547e8a9fe70dee4de92a35b7a98a10bf26a20321 (patch) | |
| tree | 2a03966fc71ea85c6da250952d6587b1ef2a1ab0 /lib/utils/pyexec.h | |
| parent | be24e6a53faf31926a65c51426591b21f3f09c54 (diff) | |
tools/ci.sh: Add helper script to run CI tasks.
The aim is for this script to be used on any CI platform, as well as run
locally.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'lib/utils/pyexec.h')
0 files changed, 0 insertions, 0 deletions