diff --git a/.ci/script.sh b/.ci/script.sh index 865c433d5..701ff6534 100755 --- a/.ci/script.sh +++ b/.ci/script.sh @@ -5,7 +5,7 @@ source "${CI_DIR}/common.sh" travis_retry make fetchthirdparty make all -retry_cmd 6 make testfront +retry_cmd 2 make testfront set +o pipefail luajit $(which luacheck) --no-color -q frontend | tee ./luacheck.out test $(grep Total ./luacheck.out | awk '{print $2}') -le 54