diff options
| author | Dan Halbert <halbert@halwitz.org> | 2019-10-25 22:41:26 -0400 |
|---|---|---|
| committer | Dan Halbert <halbert@halwitz.org> | 2019-10-25 22:41:26 -0400 |
| commit | 76817eaa105f81896c9c51ca5735bdec8e3424b4 (patch) | |
| tree | 6dfcfe8b2b61a989c01d351b3d9122a9d814d2da /.github | |
| parent | aa1eed3bd3911bb4504feda9d1d28bcd0928137d (diff) | |
| parent | 3683ee3ffa5b6da2574e1618b539b68cbc7e8db5 (diff) | |
Merge remote-tracking branch 'adafruit/master' into nano-33-ble
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 20 | ||||
| -rw-r--r-- | .github/workflows/create_website_pr.yml | 7 |
2 files changed, 16 insertions, 11 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 96fc3960e..86143c8ef 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -1,6 +1,12 @@ name: Build CI -on: [push, pull_request, release] +on: + push: + pull_request: + release: + types: [published] + check_suite: + types: [rerequested] jobs: test: @@ -10,9 +16,6 @@ jobs: env: GITHUB_CONTEXT: ${{ toJson(github) }} run: echo "$GITHUB_CONTEXT" - - name: Fail if not a release publish # workaround has `on` doesn't have this filter - run: exit 1 - if: github.event_name == 'release' && (github.event.action != 'published' && github.event.action != 'rerequested') - name: Set up Python 3.5 uses: actions/setup-python@v1 with: @@ -49,9 +52,6 @@ jobs: done working-directory: tests if: failure() - - name: Test threads - run: MICROPY_CPYTHON3=python3.5 MICROPY_MICROPYTHON=../ports/unix/micropython_coverage ./run-tests -j1 -d thread - working-directory: tests - name: Native Tests run: MICROPY_CPYTHON3=python3.5 MICROPY_MICROPYTHON=../ports/unix/micropython_coverage ./run-tests -j1 --emit native working-directory: tests @@ -102,6 +102,7 @@ jobs: - "feather_m4_express" - "feather_nrf52840_express" - "feather_radiofruit_zigbee" + - "feather_stm32f405_express" - "gemma_m0" - "grandcentral_m4_express" - "hallowing_m0_express" @@ -128,6 +129,7 @@ jobs: - "pirkey_m0" - "pybadge" - "pybadge_airlift" + - "pyboard_v11" - "pygamer" - "pygamer_advance" - "pyportal" @@ -140,11 +142,15 @@ jobs: - "snekboard" - "sparkfun_lumidrive" - "sparkfun_nrf52840_mini" + - "sparkfun_qwiic_micro_no_flash" + - "sparkfun_qwiic_micro_with_flash" - "sparkfun_redboard_turbo" - "sparkfun_samd21_dev" - "sparkfun_samd21_mini" + - "spresense" - "stm32f411ve_discovery" - "stm32f412zg_discovery" + - "stringcar_m0_express" - "trellis_m4_express" - "trinket_m0" - "trinket_m0_haxpress" diff --git a/.github/workflows/create_website_pr.yml b/.github/workflows/create_website_pr.yml index ce9323702..69ca8f12b 100644 --- a/.github/workflows/create_website_pr.yml +++ b/.github/workflows/create_website_pr.yml @@ -1,6 +1,8 @@ name: Update CircuitPython.org -on: release +on: + release: + types: [published] jobs: website: @@ -10,9 +12,6 @@ jobs: env: GITHUB_CONTEXT: ${{ toJson(github) }} run: echo "$GITHUB_CONTEXT" - - name: Fail if not a release publish # workaround has `on` doesn't have this filter - run: exit 1 - if: github.event.action != 'published' - name: Set up Python 3.5 uses: actions/setup-python@v1 with: |