2022-06-01 03:09:45 +12:00
|
|
|
name: "Linter"
|
|
|
|
|
|
|
|
|
|
on: [pull_request]
|
|
|
|
|
jobs:
|
2022-09-08 16:47:47 +12:00
|
|
|
lint:
|
2022-06-01 03:09:45 +12:00
|
|
|
name: Linter
|
2022-06-01 03:18:12 +12:00
|
|
|
runs-on: ubuntu-latest
|
2022-09-08 16:52:33 +12:00
|
|
|
container: composer
|
2022-06-01 03:09:45 +12:00
|
|
|
|
|
|
|
|
steps:
|
|
|
|
|
- name: Checkout repository
|
|
|
|
|
uses: actions/checkout@v2
|
|
|
|
|
with:
|
|
|
|
|
# We must fetch at least the immediate parents so that if this is
|
|
|
|
|
# a pull request then we can checkout the head.
|
|
|
|
|
fetch-depth: 2
|
|
|
|
|
|
|
|
|
|
# If this run was triggered by a pull request event, then checkout
|
|
|
|
|
# the head of the pull request instead of the merge commit.
|
|
|
|
|
- run: git checkout HEAD^2
|
|
|
|
|
if: ${{ github.event_name == 'pull_request' }}
|
|
|
|
|
|
|
|
|
|
- name: Run Linter
|
2022-09-08 16:26:33 +12:00
|
|
|
run: |
|
2022-09-08 16:47:47 +12:00
|
|
|
composer install --profile --ignore-platform-reqs
|
|
|
|
|
composer lint
|
