diff options
author | Jeff Epler <jepler@unpythonic.net> | 2025-09-28 09:56:11 -0500 |
---|---|---|
committer | Damien George <damien@micropython.org> | 2025-10-02 16:35:40 +1000 |
commit | effb9503ebbf7552cec1bc788850f27076cbc132 (patch) | |
tree | ee2cf1fb0194e9a9a086c7b5d8a8d43b12e7b27e /py/builtinhelp.c | |
parent | 7d50952c2b2d335e9b5528fe1db57fb5f0f4ef0d (diff) |
github/workflows: Use new ci.sh style for calling functions.
During CI, invoke `ci.sh` the same way we'd recommend a developer to do so
locally.
Signed-off-by: Jeff Epler <jepler@unpythonic.net>
Diffstat (limited to 'py/builtinhelp.c')
0 files changed, 0 insertions, 0 deletions