Fix PR coverage comment posting in CI. #17

Merged
brian merged 1 commits from fix/coverage-pr-comment into main 2026-06-29 11:37:35 +02:00
1 Commits
Author SHA1 Message Date
Brian Bjarke JensenandCursor 30a1de32e8 Fix PR coverage comment posting in CI.
Test Python Package / test (pull_request) Successful in 48s
Code Quality Pipeline / code-quality (pull_request) Successful in 31s
PR Title Check / check-title (pull_request) Successful in 5s
Build the Gitea API payload with json.dumps so multiline coverage output is valid JSON, and fail the step when the API rejects the request.

Co-authored-by: Cursor <cursoragent@cursor.com>
2026-06-28 23:46:49 +02:00