1 Commits

Author	SHA1	Message	Date
Damien George	547e8a9fe7	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>	2020-11-29 22:21:28 +11:00