Skip to content

Update lintrunner configs#7440

Merged
facebook-github-bot merged 1 commit intomainfrom
update-lints
Dec 26, 2024
Merged

Update lintrunner configs#7440
facebook-github-bot merged 1 commit intomainfrom
update-lints

Commits

Commits on Dec 26, 2024