MIL-010: plan the code metrics and coverage badges workflow #154

Merged
Tirsvad merged 2 commits from mil-010-code-metrics-badges into main 2026-10-14 07:37:14 +02:00
2 Commits
Author SHA1 Message Date
Tirsvad 1c3d810284 Resolve pending commit links
Validate workflows / validate (pull_request) Successful in 24s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Skipped
2026-10-14 13:35:57 +08:00
Tirsvad 50024505fe MIL-010: plan the code metrics and coverage badges workflow
Adds objective O5 to BC-001 (RC-067), the milestone MIL-010 with nine tasks and
the plan row of PP-001 (RC-068); the traceability matrix is updated.
2026-10-14 13:35:53 +08:00