Pin sphinx-lint to fix the CI

[hugovk]

Between PR #954 being opened (CI passed) and merged 25 minutes later (CI failed), a new release of sphinx-lint came out with differing checks.

Let's pin it to get the CI green, and I'll open an issue to upgrade and fix the issues.

[arhadthedev]

new release of sphinx-lint came out with differing checks.

Or with bugs. From a code diff of python/cpython#97962:

sphinx-lint 0.6.2 yields many default role errors due to the new regular expression used for default role detection, so we don't use the version until the errors are fixed.

[AA-Turner]

Or with bugs. From a code diff of python/cpython#97962:

... the errors are fixed.

I meant the errors in CPython's reStructuredText sources in that comment, I'm assuming the changes in sphinx-lint are correct. I haven't checked either, though.

A

[JelleZijlstra]

I didn't check in detail but the amount of errors in CI does suggest a bug in sphinx-lint.

[hugovk]

Yes, reported here: sphinx-contrib/sphinx-lint#46