From 9de10d88580ae8121981d4a2b1fab6d6b4867918 Mon Sep 17 00:00:00 2001
From: Andreas Heinrich <andreas.heinrich@rwth-aachen.de>
Date: Wed, 18 Sep 2024 16:03:10 +0200
Subject: [PATCH] Fix *100 string

Signed-off-by: Andreas Heinrich <andreas.heinrich@rwth-aachen.de>
---
 .github/workflows/continuous_integration.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/continuous_integration.yml b/.github/workflows/continuous_integration.yml
index 4d465d9..5b72c3e 100644
--- a/.github/workflows/continuous_integration.yml
+++ b/.github/workflows/continuous_integration.yml
@@ -455,7 +455,7 @@ jobs:
 
           with open(os.environ["GITHUB_OUTPUT"], "a") as f:
               f.write(f"line_coverage={line_coverage}\n")
-              f.write(f"line_coverage_percentage={line_coverage * 100}\n")
+              f.write(f"line_coverage_percentage={float(line_coverage) * 100}\n")
       - name: Generate coverage badge
         run: |
           # LTODO install in docker image