diff options
author | Daniel Stenberg <daniel@haxx.se> | 2020-04-08 11:54:31 +0200 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2020-04-08 14:19:08 +0200 |
commit | 6435aaa70b646faf60047261fa4ed7fa86747612 (patch) | |
tree | f73384c50b5e670849600f95e23e49210971b9f8 /.github/workflows/fuzz.yml | |
parent | 4d939ef6ceb2db19382848471d13685ee1607a8a (diff) |
github actions: run when pushed to master or */ci + PRs
Avoid double-builds when using "local" branches for PRs. For both macos
and fuzz jobs.
Closes #5201
Diffstat (limited to '.github/workflows/fuzz.yml')
-rw-r--r-- | .github/workflows/fuzz.yml | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/.github/workflows/fuzz.yml b/.github/workflows/fuzz.yml index ca149d988..f46fa6c4e 100644 --- a/.github/workflows/fuzz.yml +++ b/.github/workflows/fuzz.yml @@ -1,6 +1,15 @@ name: CI -on: [push, pull_request] +on: + # Trigger the workflow on push or pull requests, but only for the + # master branch + push: + branches: + - master + - '*/ci' + pull_request: + branches: + - master jobs: fuzzing: |