Plan MIL-011: fix the defaults of the code metrics workflow #166

Merged
Tirsvad merged 2 commits from mil-011-code-metrics-defaults into main 2026-10-14 09:58:31 +02:00
Owner

Plan only; no workflow, script or guide changes in this pull request. Merged as Proposed; the review and acceptance follow in the next pull request.

See docs/milestones/mil-011-code-metrics-default-tools-ref.md.

Plan only; no workflow, script or guide changes in this pull request. Merged as Proposed; the review and acceptance follow in the next pull request. See docs/milestones/mil-011-code-metrics-default-tools-ref.md.
Tirsvad added 2 commits 2026-10-14 09:57:32 +02:00
Plan MIL-011: fix the defaults of the code metrics workflow
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Skipped
02e3794d7b
Release 2.1.0 documents code-metrics.yml at @v1 and defaults tools-ref to
v1, but the workflow and its scripts exist only from v2.1.0. MIL-011
plans the fix (a patch release 2.1.1), the test that would have caught
it, the guide and wiki corrections, and the removal of the workaround
from the framework Badges page. Proposed; no code changes yet.
Resolve pending commit links for MIL-011
Validate workflows / validate (pull_request) Successful in 31s
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Skipped
60f39e3854
Tirsvad merged commit 0027da529c into main 2026-10-14 09:58:31 +02:00
Tirsvad deleted branch mil-011-code-metrics-defaults 2026-10-14 09:58:31 +02:00
Tirsvad changed title from Plan MIL-011: fix the defaults of the code metrics workflow to Plan and accept MIL-011: fix the defaults of the code metrics workflow 2026-10-14 10:00:10 +02:00
Tirsvad changed title from Plan and accept MIL-011: fix the defaults of the code metrics workflow to Plan MIL-011: fix the defaults of the code metrics workflow 2026-10-14 10:00:28 +02:00
Sign in to join this conversation.