From 0d4015245274fa59658846cfe2befd71dd4aab38 Mon Sep 17 00:00:00 2001
From: Pierre-antoine Comby <pierre-antoine.comby@crans.org>
Date: Sun, 21 Jan 2024 17:17:49 +0100
Subject: [PATCH] ci: add generation of coverage badge.

---
 .github/workflows/master-cd.yml | 11 +++++++++++
 .github/workflows/test-ci.yml   | 24 +++++++++++++++++++++++-
 2 files changed, 34 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/master-cd.yml b/.github/workflows/master-cd.yml
index beb65326..5e2d22c4 100644
--- a/.github/workflows/master-cd.yml
+++ b/.github/workflows/master-cd.yml
@@ -50,6 +50,17 @@ jobs:
         run: |
           python -m sphinx docs docs_build
 
+      - name: Get the badge from CI
+        uses: actions/download-artifact@v4
+        with:
+          name: coverage_badge
+          path: docs_build/_static
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          run-id: ${{ github.event.workflow_run.id }}
+
+      - name: Display data
+        run: ls -R
+        working-directory: docs_build/_static
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v1
         with:
diff --git a/.github/workflows/test-ci.yml b/.github/workflows/test-ci.yml
index 2904ff93..1ae756f0 100644
--- a/.github/workflows/test-ci.yml
+++ b/.github/workflows/test-ci.yml
@@ -201,9 +201,31 @@ jobs:
           python -m pip install -e .
 
       - name: Combine coverage
-        run: coverage combine -a coverage_data/*
+        run: |
+          export COVERAGE_FILE=coverage_combined
+          coverage combine -a coverage_data/*
+
+      - name: Upload Combined coverage
+        uses: actions/upload-artifact@v4
+        with:
+          name: coverage_combined
+          path: coverage_combined
 
       - name: Reports
         run: |
+          export COVERAGE_FILE=coverage_combined
           coverage xml
           coverage report
+          echo COVERAGE_PERC=$(coverage report | tail -n 1 | grep -oE [0-9\.]*?% | cut -d '%' -f1) >> $GITHUB_ENV
+
+      - name: Create a Coverage Badge
+        if: ${{github.event_name == 'push'}}
+        run: |
+          wget https://img.shields.io/badge/coverage-${{env.COVERAGE_PERC}}%25-green -O coverage_badge.svg
+
+      - name: Upload badge as artifact
+        if: ${{github.event_name == 'push'}}
+        uses: actions/upload-artifact@v4
+        with:
+          name: coverage_badge
+          path: coverage_badge.svg