diff options
| author | Damien George <damien@micropython.org> | 2022-11-17 22:20:57 +1100 |
|---|---|---|
| committer | Jim Mussared <jim.mussared@gmail.com> | 2022-11-17 22:49:24 +1100 |
| commit | beb9b85c591146802772fe236a2c74382bb778a5 (patch) | |
| tree | b923c8909dac09018ae0409e840573d9d6f4c064 /py/misc.h | |
| parent | f31a358eb222aac98f797bd51302d5b5b2711fb6 (diff) | |
github/workflows: Run unix port workflow if mpy-cross changes.
Otherwise there is no CI for mpy-cross if only it changes.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'py/misc.h')
0 files changed, 0 insertions, 0 deletions