saurabh 26b0e2bb92 Fixed #36620 -- Fixed workflow to summarize coverage in PRs. ...

Follow-up to a89183e638, which was
reverted in e4c4a178aa because a change
to the workflow trigger resulted in the PR branch not being checked out.

We used this opportunity to reimplement the coverage tracing and coverage
commenting in a two-workflow pattern with more granular permissions.

To reduce duplicative workflows, we removed the existing python test workflow
on PRs, at least until we run more distinct configurations on GitHub actions. The
run with coverage tracing enabled is sufficient for now. The existing workflow still
runs on pushes to main. We can revisit when adding more test configurations.

2025-12-04 10:25:21 -05:00

..

workflows

Fixed #36620 -- Fixed workflow to summarize coverage in PRs.

2025-12-04 10:25:21 -05:00

CODE_OF_CONDUCT.md

Enabled GitHub Code of Conduct.

2021-11-04 12:14:43 +01:00

FUNDING.yml

Enabled "GitHub Sponsors".

2020-02-13 20:22:58 +01:00

pull_request_template.md

Updated GitHub PR template headings to level 4.

2024-08-20 12:51:25 +02:00

SECURITY.md

Enabled GitHub security policy.

2020-05-07 17:25:46 +02:00