Skip to content

Merge branch 'main' into 6-no-longer-use-files-from-plugin-directory-… #30

Merge branch 'main' into 6-no-longer-use-files-from-plugin-directory-…

Merge branch 'main' into 6-no-longer-use-files-from-plugin-directory-… #30

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