summaryrefslogtreecommitdiffstats
path: root/.github/workflows/static-code-analysis.yml
blob: 4057adbe8d76cd5011213a70b7c6b4962287c439 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
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
            - 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 -- --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.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)"