From b8f4c623f9002099b0910ac873ef9e3acbcf428c Mon Sep 17 00:00:00 2001 From: Damien George Date: Thu, 21 Jan 2021 19:24:12 +1100 Subject: github/workflows: Add CI workflow for rp2 port. Signed-off-by: Damien George --- .github/workflows/ports_rp2.yml | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 .github/workflows/ports_rp2.yml (limited to '.github/workflows') 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 -- cgit v1.2.3