From dc64079b6b698fa779a3fdcb6a4c962ac7567097 Mon Sep 17 00:00:00 2001
From: Robert Sachunsky <sachunsky@informatik.uni-leipzig.de>
Date: Sat, 5 Apr 2025 03:40:02 +0200
Subject: [PATCH] CI: fix coverage report calls

---
 .github/workflows/test-eynollah.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/test-eynollah.yml b/.github/workflows/test-eynollah.yml
index 4dedad2..5462f2e 100644
--- a/.github/workflows/test-eynollah.yml
+++ b/.github/workflows/test-eynollah.yml
@@ -51,7 +51,9 @@ jobs:
     - name: Get coverage results
       run: |
         coverage report --format=markdown >> $GITHUB_STEP_SUMMARY
-        coverage html json xml
+        coverage html
+        coverage json
+        coverage xml
     - name: Store coverage results
       uses: actions/upload-artifact@v4
       with: