diff options
| author | Damien George <damien@micropython.org> | 2021-01-21 19:24:12 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2021-01-30 00:42:29 +1100 |
| commit | b8f4c623f9002099b0910ac873ef9e3acbcf428c (patch) | |
| tree | ae438e131403725bfdae8d9d4fce07e0ecc47b56 | |
| parent | 469345e7285128739e2934e7934e107ffda79fc1 (diff) | |
github/workflows: Add CI workflow for rp2 port.
Signed-off-by: Damien George <damien@micropython.org>
| -rw-r--r-- | .github/workflows/ports_rp2.yml | 23 | ||||
| -rwxr-xr-x | tools/ci.sh | 14 |
2 files changed, 37 insertions, 0 deletions
diff --git a/.github/workflows/ports_rp2.yml b/.github/workflows/ports_rp2.yml new file mode 100644 index 000000000..668b79cae --- /dev/null +++ b/.github/workflows/ports_rp2.yml @@ -0,0 +1,23 @@ +name: rp2 port + +on: + push: + pull_request: + paths: + - '.github/workflows/*.yml' + - 'tools/**' + - 'py/**' + - 'extmod/**' + - 'lib/**' + - 'drivers/**' + - 'ports/rp2/**' + +jobs: + build: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + - name: Install packages + run: source tools/ci.sh && ci_rp2_setup + - name: Build + run: source tools/ci.sh && ci_rp2_build diff --git a/tools/ci.sh b/tools/ci.sh index 986ec6756..4e4aad560 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -177,6 +177,20 @@ function ci_qemu_arm_build { } ######################################################################################## +# ports/rp2 + +function ci_rp2_setup { + ci_gcc_arm_setup +} + +function ci_rp2_build { + make ${MAKEOPTS} -C mpy-cross + git submodule update --init lib/pico-sdk + git -C lib/pico-sdk submodule update --init lib/tinyusb + make ${MAKEOPTS} -C ports/rp2 +} + +######################################################################################## # ports/samd function ci_samd_setup { |