tools/ci.sh: Allow CI tests to run locally.#1104

tsukasa-au wants to merge 2 commits into

micropython:mastermicropython/micropython-lib:masterfrom

tsukasa-au:run-ci-outside-githubtsukasa-au/micropython-lib:run-ci-outside-githubCopy head branch name to clipboard