MIL-010: code metrics and coverage badges workflow #164

Merged

Tirsvad merged 10 commits from mil-010-implementation into main 2026-10-14 08:59:20 +02:00

Conversation 0 Commits 10 Files Changed 39

+3155 -48

10 Commits

Author	SHA1	Message	Date
Tirsvad	a795f3b03e	Re-run the checks: the status of the previous head stayed pending	2026-10-14 14:10:45 +08:00
Tirsvad	292886531e	Resolve pending commit links	2026-10-14 14:05:29 +08:00
Tirsvad	5c5a1d19d9	MIL-010 task 8: adoption in a throwaway repository, results and RC-074; release entry 2.1.0 ... Task: MIL-010#8 Refs #162	2026-10-14 14:05:20 +08:00
Tirsvad	95f9577a14	MIL-010 task 7: guide, README, wiki pages in three languages ... Task: MIL-010#7 Refs #161	2026-10-14 13:56:49 +08:00
Tirsvad	0dc5132a2e	MIL-010 task 6: the coverage report reaches the workflow as an artifact (ADR-0010, RC-073) ... Task: MIL-010#6 Refs #160	2026-10-14 13:54:01 +08:00
Tirsvad	4fc0a8cab3	MIL-010 task 6: reusable workflow code-metrics.yml and tools/code-metrics.sh ... Task: MIL-010#6 Refs #160	2026-10-14 13:50:34 +08:00
Tirsvad	5bc14d789d	MIL-010 tasks 4 and 5: counter, coverage reader and badge renderer ... Task: MIL-010#4 Task: MIL-010#5 Refs #158 Refs #159	2026-10-14 13:48:04 +08:00
Tirsvad	6c3544837c	MIL-010 task 3: results of the delivery check ... Refs #157	2026-10-14 13:44:34 +08:00
Tirsvad	aa4ca0f897	MIL-010 task 2: ADR-0010, the contract of the code metrics badges (RC-072) ... Refs #156	2026-10-14 13:43:15 +08:00
Tirsvad	9ca9673b00	MIL-010 task 1: use case UC-008, stories US-001.18 to US-001.20, RC-069 to RC-071 ... Refs #155	2026-10-14 13:41:14 +08:00