diff options
| author | Damien George | 2021-01-21 19:24:12 +1100 |
|---|---|---|
| committer | Damien George | 2021-01-30 00:42:29 +1100 |
| commit | b8f4c623f9002099b0910ac873ef9e3acbcf428c (patch) | |
| tree | ae438e131403725bfdae8d9d4fce07e0ecc47b56 /.github | |
| parent | 469345e7285128739e2934e7934e107ffda79fc1 (diff) | |
github/workflows: Add CI workflow for rp2 port.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ports_rp2.yml | 23 |
1 files changed, 23 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 |