github/workflows: Add new workflow to build ports download metadata.

Signed-off-by: Damien George <damien@micropython.org>
This commit is contained in:
Damien George 2021-10-28 15:08:46 +11:00
parent 7f14344428
commit 3b011d5ef9

18
.github/workflows/ports.yml vendored Normal file
View File

@ -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