File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ name : Lint php
2+
3+ on : pull_request
4+
5+ permissions :
6+ contents : read
7+
8+ concurrency :
9+ group : lint-php-${{ github.head_ref || github.run_id }}
10+ cancel-in-progress : true
11+
12+ jobs :
13+ php-lint :
14+ runs-on : ubuntu-latest
15+ strategy :
16+ matrix :
17+ php-versions :
18+ - " 8.1"
19+ - " 8.2"
20+ - " 8.3"
21+ - " 8.4"
22+
23+ name : php-lint
24+
25+ steps :
26+ - name : Checkout
27+ uses : actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
28+ with :
29+ persist-credentials : false
30+
31+ - name : Set up php ${{ matrix.php-versions }}
32+ uses : shivammathur/setup-php@ec406be512d7077f68eed36e63f4d91bc006edc4 # v2.35.4
33+ with :
34+ php-version : ${{ matrix.php-versions }}
35+ coverage : none
36+ ini-file : development
37+
38+ - name : Lint
39+ run : composer run lint
40+
41+ summary :
42+ permissions :
43+ contents : none
44+ runs-on : ubuntu-latest
45+ needs : php-lint
46+
47+ if : always()
48+
49+ name : php-lint-summary
50+
51+ steps :
52+ - name : Summary status
53+ run : if ${{ needs.php-lint.result != 'success' && needs.php-lint.result != 'skipped' }}; then exit 1; fi
You can’t perform that action at this time.
0 commit comments