ci: report coverage from fork

.github/workflows/coverage-report.yaml

@@ -0,0 +1,26 @@
+name: Coverage Report
+on:
+  workflow_run:
+    workflows: ["Coverage"]
+    types:
+      - completed
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+permissions:
+  actions: read
+  contents: read
+  pull-requests: write
+jobs:
+  default:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/download-artifact@v4
+        with:
+          name: coverage.xml
+          run-id: ${{ github.event.workflow_run.id }}
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+      - uses: orgoro/[email protected]
+        with:
+            coverageFile: coverage.xml
+            token: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/coverage.yaml

@@ -18,8 +18,8 @@ jobs:
       - run: make dev
       - run: make test
       - run: make cov-xml
-      - uses: orgoro/[email protected]
+      - uses: actions/upload-artifact@v4
         with:
-            coverageFile: coverage.xml
-            thresholdAll: 0.8
-            token: ${{ secrets.GITHUB_TOKEN }}
+          name: coverage.xml
+          path: coverage.xml
+          retention-days: 1