diff options
| author | Damien George <damien@micropython.org> | 2021-10-28 15:08:46 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2021-10-28 16:45:15 +1100 |
| commit | 3b011d5ef9f8f965ef1792e358976ba5e33b8182 (patch) | |
| tree | afb980723d713e9a31e6863b92f13ae7e8b71956 | |
| parent | 7f143444283528101d9b48e1f2e908c12648f2f1 (diff) | |
github/workflows: Add new workflow to build ports download metadata.
Signed-off-by: Damien George <damien@micropython.org>
| -rw-r--r-- | .github/workflows/ports.yml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.github/workflows/ports.yml b/.github/workflows/ports.yml new file mode 100644 index 000000000..e9e6de284 --- /dev/null +++ b/.github/workflows/ports.yml @@ -0,0 +1,18 @@ +name: Build ports metadata + +on: + push: + pull_request: + paths: + - '.github/workflows/*.yml' + - 'tools/**' + - ports/** + +jobs: + build: + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v2 + - name: Build ports download metadata + run: mkdir boards && ./tools/autobuild/build-downloads.py . ./boards |