diff options
Diffstat (limited to '.ci/generate_test_report_github.py')
| -rw-r--r-- | .ci/generate_test_report_github.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.ci/generate_test_report_github.py b/.ci/generate_test_report_github.py index 6785e82..08387de 100644 --- a/.ci/generate_test_report_github.py +++ b/.ci/generate_test_report_github.py @@ -8,6 +8,7 @@ import platform import generate_test_report_lib + def compute_platform_title() -> str: logo = ":window:" if platform.system() == "Windows" else ":penguin:" # On Linux the machine value is x86_64 on Windows it is AMD64. |