ci: add coverage reporting

cspr-rad · Mar 21, 2024 · d9d391a · d9d391a
1 parent ed75fbd
commit d9d391a
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -39,7 +39,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: 50
 
       - name: kairos x86_64-linux
         if: matrix.os == 'ubuntu-latest'