Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/nextcloud/server.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMorris Jobke <hey@morrisjobke.de>2020-08-18 10:09:59 +0300
committerMorris Jobke <hey@morrisjobke.de>2020-08-18 14:01:05 +0300
commit80056e081a567c46f931342adf5801735905dacd (patch)
treeb0bbc8adeb982227684a2d53466133e321aafc28 /.github
parent4efca69f8d411ac906f94301b4a2c5ae58858f04 (diff)
Add a check for fixes in the psalm baseline
Signed-off-by: Morris Jobke <hey@morrisjobke.de>
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/static-code-analysis.yml5
1 files changed, 4 insertions, 1 deletions
diff --git a/.github/workflows/static-code-analysis.yml b/.github/workflows/static-code-analysis.yml
index 5633c3abc29..bd7476df1ec 100644
--- a/.github/workflows/static-code-analysis.yml
+++ b/.github/workflows/static-code-analysis.yml
@@ -19,4 +19,7 @@ jobs:
- name: Psalm
uses: docker://jakzal/phpqa:php7.4-alpine
with:
- args: psalm --monochrome --no-progress --output-format=text
+ args: psalm --monochrome --no-progress --output-format=text --update-baseline
+ - name: Check for changes in Psalm baseline
+ run: |
+ bash -c "[[ ! \"`git status --porcelain `\" ]] || ( echo 'Uncommited changes in Psalm baseline' && git status && git diff && exit 1 )"