From 167cba723edabb1a6adf9a12c2ed5605479905cc Mon Sep 17 00:00:00 2001 From: github action Date: Sun, 28 Jul 2024 17:59:13 +0000 Subject: [PATCH] Apply 'make format' --- nodist/code_coverage | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/nodist/code_coverage b/nodist/code_coverage index 645b0ce9a..d0bb9ceba 100755 --- a/nodist/code_coverage +++ b/nodist/code_coverage @@ -186,8 +186,8 @@ def test(): # So, remove gcno files before calling codecov upload_dir = "nodist/obj_dir/upload" os.makedirs(upload_dir, exist_ok=True) - cmd = ("ci/codecov -v upload-process -Z" + - " -f " + cc_dir + "/app_total.info )") + cmd = ("ci/codecov -v upload-process -Z" + " -f " + cc_dir + + "/app_total.info )") print("print: Not running:") print(" export CODECOV_TOKEN=") print(" find . -name '*.gcno' -exec rm {} \;")