ci: moved lint file name

This commit is contained in:
David Bailey 2023-10-19 21:53:41 +02:00
parent 57d6d82be9
commit 502ddd1ad9
2 changed files with 14 additions and 10 deletions

View file

@ -0,0 +1,14 @@
on: [push]
jobs:
phplint:
runs-on: docker
steps:
- uses: actions/checkout@v3
- uses: docker://cytopia/phplint:alpine
with:
cmd: -i ./vendor/.* *.php
- uses: github.com/DavidAnson/markdownlint-cli2-action@v13
with:
globs: '**/*.md'
continue-on-error: true

View file

@ -1,10 +0,0 @@
on: [push]
jobs:
phplint:
runs-on: docker
steps:
- uses: actions/checkout@v3
- uses: docker://cytopia/phplint:alpine
with:
cmd: -i ./vendor/.* *.php