diff options
Diffstat (limited to '.github/workflows/static-code-analysis.yml')
| -rw-r--r-- | .github/workflows/static-code-analysis.yml | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/.github/workflows/static-code-analysis.yml b/.github/workflows/static-code-analysis.yml index 4bfd704793e..4057adbe8d7 100644 --- a/.github/workflows/static-code-analysis.yml +++ b/.github/workflows/static-code-analysis.yml @@ -27,3 +27,28 @@ jobs: - name: Show potential changes in Psalm baseline run: | bash -c "[[ ! \"`git status --porcelain build/psalm-baseline.xml`\" ]] || ( echo 'Uncommited changes in Psalm baseline' && git status && git diff build/psalm-baseline.xml)" + + static-code-analysis-ocp: + 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 + - name: Set up php7.4 + uses: shivammathur/setup-php@master + with: + php-version: 7.4 + coverage: none + - name: Composer install + run: composer i + - name: Psalm + run: composer run psalm -- -c psalm-ocp.xml --monochrome --no-progress --output-format=text --update-baseline || ( git diff -- . ':!lib/composer' && exit 1 ) + - name: Check diff + run: git diff -- . ':!lib/composer' + - name: Show potential changes in Psalm baseline + run: | + bash -c "[[ ! \"`git status --porcelain build/psalm-baseline-ocp.xml`\" ]] || ( echo 'Uncommited changes in Psalm baseline' && git status && git diff build/psalm-baseline.xml)" |