Commit 2024-07-11 14:59 1c61ab78
View on Github →feat: add endOf
linter (#14378)
This linter emits a warning at the end of a file if there are unclosed namespace
s or section
s.
All missing end
s have been added (automatically) in #14621.
Unlike #14352, this PR does leaves outermost noncomputable section
s open.
Zulip thread