5 Commits

Author	SHA1	Message	Date
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
Natalia	e4c4a178aa	Reverted "Fixed #36620 -- Added coverage workflow to summarize coverage in pull requests." ... This reverts commit a89183e638.	2025-11-25 17:16:59 -05:00
saurabh	a89183e638	Fixed #36620 -- Added coverage workflow to summarize coverage in pull requests. ... Part of GSoC 2025. Thanks Lily for mentorship, and Sarah Boyce and Jacob Walls for reviews.	2025-11-21 16:26:57 -05:00
Jacob Walls	846613e521	Configured dangerous-triggers zizmor rule.	2025-11-21 14:36:32 -05:00
Jacob Walls	86b8058b40	Addressed unpinned-uses zizmor finding.	2025-11-21 14:36:28 -05:00