diff options
author | Philipp Ebensberger <philipp.ebensberger@3bricks-software.de> | 2021-04-24 21:34:07 +0200 |
---|---|---|
committer | Damien George <damien@micropython.org> | 2021-05-26 00:12:45 +1000 |
commit | 5f68f0d08ab1effd0fae8a00bdda46dbc788d9db (patch) | |
tree | d9caad5377b9960c6dc19e65bbd9d874076c52c4 | |
parent | c326d9a67ba1846bba38f284fa9b8f712dd2d48a (diff) | |
download | micropython-5f68f0d08ab1effd0fae8a00bdda46dbc788d9db.tar.gz micropython-5f68f0d08ab1effd0fae8a00bdda46dbc788d9db.zip |
github/workflows: Add CI workflow for mimxrt port.
-rw-r--r-- | .github/workflows/ports_mimxrt.yml | 23 | ||||
-rwxr-xr-x | tools/ci.sh | 13 |
2 files changed, 36 insertions, 0 deletions
diff --git a/.github/workflows/ports_mimxrt.yml b/.github/workflows/ports_mimxrt.yml new file mode 100644 index 0000000000..8fbc2209e4 --- /dev/null +++ b/.github/workflows/ports_mimxrt.yml @@ -0,0 +1,23 @@ +name: mimxrt port + +on: + push: + pull_request: + paths: + - '.github/workflows/*.yml' + - 'tools/**' + - 'py/**' + - 'extmod/**' + - 'lib/**' + - 'drivers/**' + - 'ports/mimxrt/**' + +jobs: + build: + runs-on: ubuntu-20.04 + steps: + - uses: actions/checkout@v2 + - name: Install packages + run: source tools/ci.sh && ci_mimxrt_setup + - name: Build + run: source tools/ci.sh && ci_mimxrt_build diff --git a/tools/ci.sh b/tools/ci.sh index 7b38ce0df0..df812141f5 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -139,6 +139,19 @@ function ci_esp8266_build { } ######################################################################################## +# ports/mimxrt + +function ci_mimxrt_setup { + ci_gcc_arm_setup +} + +function ci_mimxrt_build { + make ${MAKEOPTS} -C ports/mimxrt submodules + make ${MAKEOPTS} -C ports/mimxrt BOARD=MIMXRT1020_EVK + make ${MAKEOPTS} -C ports/mimxrt BOARD=TEENSY40 +} + +######################################################################################## # ports/nrf function ci_nrf_setup { |