servers/ttrss
1
0
Fork 0
mirror of https://tt-rss.org/git/tt-rss.git synced 2024-06-24 11:56:36 +02:00
Code Issues Releases Wiki Activity

jenkinsfile: add phpstan

Browse Source
This commit is contained in:
Andrew Dolgov 2022-10-01 18:33:11 +03:00
parent b8f5f67e25
commit 435564cf7f
No known key found for this signature in database
GPG Key ID: 1A56B4FA25D4AF2A
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
Jenkinsfile vendored
View File

@ -13,5 +13,17 @@ pipeline {
""" """
} }
} }
stage('phpstan') {
steps {
sh """
# php -d memory_limit=-1 ....
docker run --rm \
--volumes-from jenkins-docker_app_1 \
--workdir ${env.WORKSPACE} \
php:8.1-cli \
php -d memory_limit=-1 ./vendor/bin/phpstan --memory-limit=2G
"""
}
}
} }
} }