(ci): do not return on package-lint error (#1116)

This commit is contained in:
Jethro Kuan
2020-09-19 16:23:09 +08:00
committed by GitHub
parent b2aa8bdad0
commit 18c0f2da7f

View File

@ -591,6 +591,12 @@ function debug {
} }
fi fi
} }
function error_continue {
echo_color red "ERROR ($(ts)): $@" >&2
((errors++))
}
function error { function error {
echo_color red "ERROR ($(ts)): $@" >&2 echo_color red "ERROR ($(ts)): $@" >&2
((errors++)) ((errors++))
@ -763,7 +769,7 @@ function lint-package {
--funcall package-lint-batch-and-exit \ --funcall package-lint-batch-and-exit \
"${files_project_feature[@]}" \ "${files_project_feature[@]}" \
&& success "Linting package finished without errors." \ && success "Linting package finished without errors." \
|| error "Linting package failed." || error_continue "Linting package failed."
} }
function lint-regexps { function lint-regexps {