tc39/ecma262
View on GitHubissue warning in CI when a previously-defined ID becomes undefined
Open
#3,673 opened on Aug 15, 2025
good first issuemeta
Repository metrics
- Stars
- (15,626 stars)
- PR merge metrics
- (Avg merge 92d 19h) (17 merged PRs in 30d)
Description
We should add a GitHub CI job that emits a warning on the line of the spec that defines an ID that becomes undefined by the PR.