diff options
Diffstat (limited to 'ci/run_lint.sh')
| -rwxr-xr-x | ci/run_lint.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/ci/run_lint.sh b/ci/run_lint.sh index ae9adb7c87..54e76e10da 100755 --- a/ci/run_lint.sh +++ b/ci/run_lint.sh @@ -14,12 +14,6 @@ run_test 'make clint-full' clint exit_suite --continue -enter_suite 'testlint' - -run_test 'make testlint' testlint - -exit_suite --continue - enter_suite 'lualint' run_test 'make lualint' lualint |