From 0008b8c066847434e042993f91c1fc961c218c0b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marijan=20Petri=C4=8Devi=C4=87?=
 <marijan.petricevic94@gmail.com>
Date: Thu, 21 Mar 2024 14:34:26 -0500
Subject: [PATCH] ci: add coverage reporting

---
 .github/workflows/check.yml | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index 93722e0a..e114165d 100644
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -5,6 +5,10 @@ on:
   push:
     branches: [main]
 
+permissions:
+  pull-requests: write
+  checks: write
+
 jobs:
   check:
     runs-on: ${{ matrix.os }}
@@ -39,7 +43,14 @@ jobs:
 
       - name: coverage
         if: matrix.os == 'ubuntu-latest'
-        run: nix build -L --no-link --show-trace .#checks.x86_64-linux.coverage-report
+        run: nix build -L --out-link coverage-result --show-trace .#checks.x86_64-linux.coverage-report
+
+      - name: report coverage
+        if: matrix.os == 'ubuntu-latest'
+        uses: 5monkeys/cobertura-action@v13
+        with:
+          path: coverage-result/cobertura.xml
+          minimum_coverage: 60
 
       - name: kairos x86_64-linux
         if: matrix.os == 'ubuntu-latest'