diff options
| author | William Desportes <williamdes@wdes.fr> | 2021-01-19 21:20:40 +0300 |
|---|---|---|
| committer | William Desportes <williamdes@wdes.fr> | 2021-01-19 23:43:23 +0300 |
| commit | 4520a7bb5b1dd20f749b2f1eb61ddcf48037036e (patch) | |
| tree | 06112462b77cfaff8411fcc04347ea9a4f8d957d /test/ci-phplint | |
| parent | 70353bcdbb5909d39e5d1dfb840b80708ad27650 (diff) | |
Move to GitHub actions
Signed-off-by: William Desportes <williamdes@wdes.fr>
Diffstat (limited to 'test/ci-phplint')
| -rwxr-xr-x | test/ci-phplint | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/test/ci-phplint b/test/ci-phplint index 1e5e4959fb..5e23620edb 100755 --- a/test/ci-phplint +++ b/test/ci-phplint @@ -1,10 +1,6 @@ #!/bin/sh -if [ -z "$TRAVIS_COMMIT_RANGE" ] ; then - FILES=`find . -name '*.php' -not -path './vendor/*'` -else - FILES=`git diff --name-only $TRAVIS_COMMIT_RANGE -- '*.php'` -fi +FILES=`find . -name '*.php' -not -path './vendor/*'` for FILE in $FILES ; do if [ -f $FILE ] ; then |