CI: Move some workflow steps into ci/micropython.sh#878
Merged
Gadgetoid merged 9 commits intomainfrom ci/toolingJan 19, 2024
+163-140
Commits
Commits on Jan 8, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
