From 6570541f64bf15fc5614c25a9a6f6133d28c2d64 Mon Sep 17 00:00:00 2001 From: Max Brenner Date: Tue, 15 Oct 2019 21:31:57 +0200 Subject: [PATCH] ignore coveralls internal server errors Signed-off-by: Max Brenner --- scripts/coverage.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/coverage.sh b/scripts/coverage.sh index 62d495769..3c8331c31 100755 --- a/scripts/coverage.sh +++ b/scripts/coverage.sh @@ -36,7 +36,7 @@ generate_cover_data() { } push_to_coveralls() { - goveralls -coverprofile="${profile}" -service=circle-ci + goveralls -coverprofile="${profile}" -service=circle-ci -shallow } generate_cover_data