diff options
| author | Jeff Epler <jepler@gmail.com> | 2025-09-03 08:52:13 -0500 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-09-18 14:13:12 +1000 |
| commit | be1a1eb7ac44c45d7d5280e2ceabc29bef6e107c (patch) | |
| tree | 2ec3e302ddf30eaef6e4a7f250669baa4deb534e /py | |
| parent | 6681530fc0f2b426e77642d887b548c0bae1fc9f (diff) | |
tools/ci.sh: Make this script runnable as command.
This makes it easier to run a sequence of ci steps locally. A help message
is also provided.
Signed-off-by: Jeff Epler <jepler@gmail.com>
Diffstat (limited to 'py')
0 files changed, 0 insertions, 0 deletions