This is the record of an abcd-managed repository

abcdBetav0.16.2 · 2026-11-06

Development record

The CI job id record-lint in .github/workflows/ci.yml runs scripts/check-reviews-cases.sh and scripts/check-reviews.sh (the reviews-charter gate), while the real record-lint is a step of the check job, so a required status check is named for a gate it does not run. Renaming the job alone breaks the merge gate, because the main-protection ruleset (mirrored in .abcd/work/rulesets/main-protection.json) requires the context record-lint: the rename and the live ruleset edit must land together, which needs the forge ruleset changed by someone holding that permission. Carried over from iss-304 (d-12) when its other two halves were closed.

issueresolvednitpickiss-2609251358062952

The CI job id record-lint in .github/workflows/ci.yml runs scripts/check-reviews-cases.sh and scripts/check-reviews.sh (the reviews-charter gate), while the real record-lint is a step of the check job, so a required status check is named for a gate it does not run. Renaming the job alone breaks the merge gate, because the main-protection ruleset (mirrored in .abcd/work/rulesets/main-protection.json) requires the context record-lint: the rename and the live ruleset edit must land together, which needs the forge ruleset changed by someone holding that permission. Carried over from iss-304 (d-12) when its other two halves were closed.

Grounds

  • pursued: a reader of ci.yml learns from the job's own comment what the record-lint check runs and why it is so named; a gate the job runs that the comment omits, or a claim that the id can be renamed alone, would show it wrong

Frontmatter

idiss-2609251358062952
typeissue
lifecycleresolved
severitynitpick

mentions1