mirror of
https://github.com/YunoHost/yunohost.git
synced 2024-09-03 20:06:10 +02:00
allow tags
This commit is contained in:
parent
cdb6973b4f
commit
9fdab0dd51
1 changed files with 4 additions and 3 deletions
|
@ -15,9 +15,10 @@ default:
|
||||||
# see: https://docs.gitlab.com/ee/ci/yaml/#switch-between-branch-pipelines-and-merge-request-pipelines
|
# see: https://docs.gitlab.com/ee/ci/yaml/#switch-between-branch-pipelines-and-merge-request-pipelines
|
||||||
workflow:
|
workflow:
|
||||||
rules:
|
rules:
|
||||||
- if: '$CI_PIPELINE_SOURCE == "merge_request_event"' # If we move to gitlab one day
|
- if: $CI_PIPELINE_SOURCE == "merge_request_event" # If we move to gitlab one day
|
||||||
- if: '$CI_PIPELINE_SOURCE == "external_pull_request_event"' # For github PR
|
- if: $CI_PIPELINE_SOURCE == "external_pull_request_event" # For github PR
|
||||||
- if: '$CI_COMMIT_REF_NAME != $CI_DEFAULT_BRANCH && $CI_PIPELINE_SOURCE == "push"' # If it's not the default branch and if it's a push, then do not trigger a build
|
- if: $CI_COMMIT_TAG # For tags
|
||||||
|
- if: $CI_COMMIT_REF_NAME != $CI_DEFAULT_BRANCH && $CI_PIPELINE_SOURCE == "push" # If it's not the default branch and if it's a push, then do not trigger a build
|
||||||
when: never
|
when: never
|
||||||
- when: always
|
- when: always
|
||||||
|
|
||||||
|
|
Loading…
Add table
Reference in a new issue