Skip to content

Merge remote-tracking branch 'origin/5.1-dev' into 5.1-dev #15

Merge remote-tracking branch 'origin/5.1-dev' into 5.1-dev

Merge remote-tracking branch 'origin/5.1-dev' into 5.1-dev #15

name: Check PHP Code
on:
pull_request:
branches:
- 5.*-dev
push:
branches:
- 5.*-dev
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
jobs:
check-php-code:
runs-on: ubuntu-latest
strategy:
matrix:
php: ['8.1', '8.2']
permissions: read-all
steps:
- name: Checkout Source Code
uses: actions/checkout@v4
with:
ref: ${{ github.event.pull_request.head.sha }}
- name: Check PHP syntax errors for PHP 8.1
if: matrix.php == '8.1'
uses: StephaneBour/[email protected]
with:
dir: '.'
- name: Check PHP syntax errors for PHP 8.2
if: matrix.php == '8.2'
uses: StephaneBour/[email protected]
with:
dir: '.'