chore(website): use less text for type checked filter#7993
Merged
JoshuaKGoldberg merged 1 commit intotypescript-eslint:maintypescript-eslint/typescript-eslint:mainfrom Dec 2, 2023
JoshuaKGoldberg:rules-table-smaller-type-checked-buttonJoshuaKGoldberg/typescript-eslint:rules-table-smaller-type-checked-buttonCopy head branch name to clipboard
Merged
chore(website): use less text for type checked filter#7993JoshuaKGoldberg merged 1 commit intotypescript-eslint:maintypescript-eslint/typescript-eslint:mainfrom JoshuaKGoldberg:rules-table-smaller-type-checked-buttonJoshuaKGoldberg/typescript-eslint:rules-table-smaller-type-checked-buttonCopy head branch name to clipboard
JoshuaKGoldberg merged 1 commit intotypescript-eslint:maintypescript-eslint/typescript-eslint:mainfrom
JoshuaKGoldberg:rules-table-smaller-type-checked-buttonJoshuaKGoldberg/typescript-eslint:rules-table-smaller-type-checked-buttonCopy head branch name to clipboard