mirror of
https://github.com/certbot/certbot.git
synced 2026-06-14 19:20:09 -04:00
Disable build for commit pushed on master (PR are still tested of course)
This commit is contained in:
parent
efc8d49806
commit
041773b99b
1 changed files with 5 additions and 0 deletions
|
|
@ -18,6 +18,11 @@ branches:
|
|||
- /^\d+\.\d+\.x$/
|
||||
- /^test-.*$/
|
||||
|
||||
# Since master can receive only commits from PR that have already been tested, we avoid with the
|
||||
# the following condition to launch again a pipeline when the merge commit is pushed to master.
|
||||
# However master still needs to be set in branches section to allow PR for master to be built.
|
||||
if: NOT (type = push AND branch = master)
|
||||
|
||||
matrix:
|
||||
include:
|
||||
# These environments are always executed
|
||||
|
|
|
|||
Loading…
Reference in a new issue