From adca518324a011cbe37486a2b8143e492ef2b2b2 Mon Sep 17 00:00:00 2001 From: Spacetown <40258682+spacetown@users.noreply.github.com> Date: Mon, 6 May 2024 20:40:29 +0200 Subject: [PATCH] Fix format --- doc/examples/test_examples.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/doc/examples/test_examples.py b/doc/examples/test_examples.py index 3c0d1c5a3..aaa835cd7 100644 --- a/doc/examples/test_examples.py +++ b/doc/examples/test_examples.py @@ -52,7 +52,9 @@ def find_test_cases(): basename = os.path.basename(script) name, _ = os.path.splitext(basename) for format in "txt cobertura csv json html".split(): - if format == "html" and is_compiler(os.getenv("CC"), "gcc-5", "gcc-6", "gcc-14"): + if format == "html" and is_compiler( + os.getenv("CC"), "gcc-5", "gcc-6", "gcc-14" + ): continue baseline = "{datadir}/{name}.{ext}".format( datadir=datadir,