diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ports_esp32.yml | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/.github/workflows/ports_esp32.yml b/.github/workflows/ports_esp32.yml index 0ad3f87a2..09817ee12 100644 --- a/.github/workflows/ports_esp32.yml +++ b/.github/workflows/ports_esp32.yml @@ -13,11 +13,20 @@ on: - 'ports/esp32/**' jobs: - build: + build_idf402: runs-on: ubuntu-20.04 steps: - uses: actions/checkout@v2 - name: Install packages - run: source tools/ci.sh && ci_esp32_setup + run: source tools/ci.sh && ci_esp32_idf402_setup + - name: Build + run: source tools/ci.sh && ci_esp32_build + + build_idf43: + runs-on: ubuntu-20.04 + steps: + - uses: actions/checkout@v2 + - name: Install packages + run: source tools/ci.sh && ci_esp32_idf43_setup - name: Build run: source tools/ci.sh && ci_esp32_build |