diff options
author | Andrew Dolgov <[email protected]> | 2023-04-06 20:27:04 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2023-04-06 20:27:04 +0300 |
commit | 0fcc2d1d662fcbc79ac341f075ae308f69665719 (patch) | |
tree | 4d50bded0fab251cd1ced948914c316a49c87a99 | |
parent | 152545b3c9081244937651a0fe782e9891b6e2d0 (diff) |
CI: phpstan: check for PHPDOC_DEPLOY_SSH_KEY
-rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index f418e0e13..5a5aa9bed 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -47,10 +47,10 @@ phpdoc: name: ${CI_DOCKER_IMAGE} stage: build rules: - - if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH && $CI_PIPELINE_SOURCE != "web" + - if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH && $CI_PIPELINE_SOURCE != "web" && $PHPDOC_DEPLOY_SSH_KEY != null changes: - '**/*.php' - - if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH + - if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH && $PHPDOC_DEPLOY_SSH_KEY != null when: manual script: - php81 /phpDocumentor.phar -d classes -d include -t phpdoc --visibility=public |