Browse Source
Have our github PR sanity check also run against main and dev for every merge
This will pick up any easy to spot build failures on dev/main
pull/1999/head
Wessel Nieboer
3 months ago
No known key found for this signature in database
GPG Key ID: 929C8E45E33B5FD2
1 changed files with
8 additions and
0 deletions
-
.github/workflows/pr-build-check.yml
|
|
|
@ -9,6 +9,14 @@ on: |
|
|
|
- 'variants/**' |
|
|
|
- 'platformio.ini' |
|
|
|
- '.github/workflows/pr-build-check.yml' |
|
|
|
push: |
|
|
|
branches: [main, dev] |
|
|
|
paths: |
|
|
|
- 'src/**' |
|
|
|
- 'examples/**' |
|
|
|
- 'variants/**' |
|
|
|
- 'platformio.ini' |
|
|
|
- '.github/workflows/pr-build-check.yml' |
|
|
|
|
|
|
|
jobs: |
|
|
|
build: |
|
|
|
|
