Commit 2024-07-25 22:15 0d37645a

feat: the long line linter as a syntax linter (#15097) Tired of getting your PRs rejected by CI because of a long line? These days are over! The new longLine linter will highlight long lines, so your PRs will always be green! :smile: Besides adding the linter, the PR removes the code for the older TextBased linter and adds a few set_option linter.longLine falses in test files and in a single reference in Mathlib.Data.QPF.Multivariate.Basic.