diff options
| -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 |