7 Commits

Include renames

Author	SHA1	Message	Date
Geza Lore	8a45a2d46e	CI: Reduce verbosity of the Pages job	2026-08-23 19:56:26 +02:00
Geza Lore	4ee19c4065	CI: Generate whole RTLMeter report in ci-rtlmeter-report.bash	2026-06-07 09:54:40 +01:00
Geza Lore	067cd6c9c6	CI: Show summary tables in 'pr: rtlmeter' results	2026-06-06 19:10:27 +01:00
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