gian/phpmyadmin
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove lint before PHP setup on GitHub actions workflow

Browse Source 
Signed-off-by: William Desportes <williamdes@wdes.fr>
This commit is contained in:
William Desportes 2021-03-04 23:45:13 +01:00
parent 9f3bd5bfb9
commit 82585a1989
No known key found for this signature in database
GPG Key ID: 90A0EF1B8251A889
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/lint-and-analyse-php.yml vendored
View File

@ -39,8 +39,6 @@ jobs:
if: "!contains(github.event.head_commit.message, '[ci skip]')"
steps:
- uses: actions/checkout@v2
- name: Lint PHP files
run: ./test/ci-phplint
- name: Use php 7.1
uses: shivammathur/setup-php@v2
with: