Skip to content

Merge remote-tracking branch 'origin/main' #35

Merge remote-tracking branch 'origin/main'

Merge remote-tracking branch 'origin/main' #35

Workflow file for this run

name: CI
on: [ push, pull_request ]
jobs:
phplint:
if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.id != github.event.pull_request.base.repo.id
uses: pronamic/actions/.github/workflows/phplint.yml@main
phpcs:
if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.id != github.event.pull_request.base.repo.id
uses: pronamic/actions/.github/workflows/phpcs.yml@main
phpstan:
if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.id != github.event.pull_request.base.repo.id
uses: pronamic/actions/.github/workflows/phpstan.yml@main