4 Commits

Author	SHA1	Message	Date
Wilson Snyder	7c6c6a684b	Add SPDX copyright identifiers, and get 'reuse' clean. No functional change.	2026-01-26 20:24:34 -05:00
Geza Lore	97707bdc72	CI: Run coverage job on 'pr: dev-coverage' label in PRs (#6527)	2025-10-07 17:03:13 +01:00
Geza Lore	d7fbea62f9	CI: Notify PRs when coverage report is available	2025-10-07 12:58:21 +01:00
Geza Lore	b4d064d166	CI: Deploy coverage reports to GitHub pages	2025-10-05 07:47:59 +01:00