limit CI to phpmd for the time being

2026-01-06 01:29:15 +00:00 · 2017-04-26 14:01:25 +03:00
parent f78e10d14c
commit 833636bbd0
5 changed files with 6 additions and 311 deletions
--- a/utils/gitlab-ci/php-lint.sh
+++ b/utils/gitlab-ci/php-lint.sh
@@ -1,3 +0,0 @@
-#!/bin/sh -e
-
-exec find . -name "*.php" -print0 | xargs -0 -n1 php -q -l