2020-07-10 11:58:33 +03:00
|
|
|
name: Static code analysis
|
|
|
|
|
|
|
|
on: [pull_request]
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
static-code-analysis:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- uses: actions/checkout@v2
|
|
|
|
- name: Checkout submodules
|
|
|
|
shell: bash
|
|
|
|
run: |
|
|
|
|
auth_header="$(git config --local --get http.https://github.com/.extraheader)"
|
|
|
|
git submodule sync --recursive
|
|
|
|
git -c "http.extraheader=$auth_header" -c protocol.version=2 submodule update --init --force --recursive --depth=1
|
2020-10-13 09:20:10 +03:00
|
|
|
- name: Set up php7.4
|
|
|
|
uses: shivammathur/setup-php@master
|
2020-07-10 11:58:33 +03:00
|
|
|
with:
|
2020-10-13 09:20:10 +03:00
|
|
|
php-version: 7.4
|
|
|
|
coverage: none
|
|
|
|
- name: Composer install
|
|
|
|
run: composer i
|
|
|
|
- name: Psalm
|
|
|
|
run: composer run psalm -- --monochrome --no-progress --output-format=text --update-baseline || ( git diff -- . ':!lib/composer' && exit 1 )
|
|
|
|
- name: Check diff
|
|
|
|
run: git diff -- . ':!lib/composer' && exit 1
|
2020-08-20 10:06:32 +03:00
|
|
|
- name: Show potential changes in Psalm baseline
|
2020-08-18 10:09:59 +03:00
|
|
|
run: |
|
2020-08-20 10:06:32 +03:00
|
|
|
bash -c "[[ ! \"`git status --porcelain build/psalm-baseline.xml`\" ]] || ( echo 'Uncommited changes in Psalm baseline' && git status && git diff build/psalm-baseline.xml)"
|