diff options
| author | Scott Shawcroft <scott@tannewt.org> | 2019-10-14 20:16:59 -0700 |
|---|---|---|
| committer | Scott Shawcroft <scott@tannewt.org> | 2019-10-14 20:16:59 -0700 |
| commit | 6aad70b109f12315143d1a0337895b735bc84516 (patch) | |
| tree | 4b126b6515f452f97f0ef8c123f4c298c696f911 /.github | |
| parent | 5971794e5464d166379278c8dcbda0ebb3cc23d5 (diff) | |
Switch to the new release event type filter
Fixes #2201
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 11 | ||||
| -rw-r--r-- | .github/workflows/create_website_pr.yml | 7 |
2 files changed, 10 insertions, 8 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 1bf7bf9ad..bb92abb48 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: 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: |