Skip to content
Merged
10 changes: 10 additions & 0 deletions .github/workflows/lint.yml
Original file line number Diff line number Diff line change
Expand Up @@ -991,6 +991,16 @@ jobs:
continue-on-error: true
run: pnpm check:stack-collection-maps

# A class split into facade form stays a facade (#30019, ruling
# 6624258595 on #29465 item 3): every member of a class registered in
# `scripts/facade-delegation-registry.json` is a delegation to its facet,
# bar the named exceptions, each carrying the card that will move it.
# Rationale and the delegation grammar: the script's own header.
- name: Registered facade classes hold delegations only
id: facade-delegation-only
continue-on-error: true
run: pnpm check:facade-delegation-only

# The dashboard widget `options` census vs the spec (#12926). The parser's
# `CONSUMED_WIDGET_OPTION_KEYS` decides which `options` keys get a
# `unconsumed-widget-option` warning, and five of its six members are the
Expand Down
1 change: 1 addition & 0 deletions package.json
Original file line number Diff line number Diff line change
Expand Up @@ -38,6 +38,7 @@
"check:parse-guard": "node scripts/check-parse-guard.mjs --self-test && node scripts/check-parse-guard.mjs",
"check:bash32-floor": "node scripts/check-bash32-floor.mjs --self-test && node scripts/check-bash32-floor.mjs",
"check:stack-collection-maps": "node scripts/check-stack-collection-maps.mjs --self-test && node scripts/check-stack-collection-maps.mjs",
"check:facade-delegation-only": "node scripts/check-facade-delegation-only.mjs --self-test && node scripts/check-facade-delegation-only.mjs",
"check:widget-option-census": "node scripts/check-widget-option-census.mjs --self-test && node scripts/check-widget-option-census.mjs",
"check:sdui-reference": "node scripts/gen-sdui-reference.mjs --self-test && node scripts/gen-sdui-reference.mjs --check",
"gen:sdui-reference": "node scripts/gen-sdui-reference.mjs",
Expand Down
Loading
Loading