servers
/
ttrss
mirror of https://tt-rss.org/git/tt-rss.git
1
0
Fork 0
Code Issues Releases Wiki Activity

CI: phpstan: check for PHPDOC_DEPLOY_SSH_KEY

This commit is contained in:
Andrew Dolgov 2023-04-06 20:27:04 +03:00
parent 152545b3c9
commit 0fcc2d1d66
No known key found for this signature in database
GPG Key ID: 1A56B4FA25D4AF2A
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.gitlab-ci.yml
View File

@ -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