Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix tab configuration docs #8502

Merged
merged 1 commit into from
Nov 6, 2023
Merged

Fix tab configuration docs #8502

merged 1 commit into from
Nov 6, 2023

Conversation

dhruvmanila
Copy link
Member

@dhruvmanila dhruvmanila commented Nov 6, 2023

Otherwise it doesn't render as expected. I basically ran cargo dev generate-all again.

@dhruvmanila dhruvmanila added the documentation Improvements or additions to documentation label Nov 6, 2023
@dhruvmanila dhruvmanila enabled auto-merge (squash) November 6, 2023 02:54
@dhruvmanila dhruvmanila merged commit 75c669a into main Nov 6, 2023
15 checks passed
@dhruvmanila dhruvmanila deleted the dhruv/fix-docs branch November 6, 2023 03:02
@doolio
Copy link
Contributor

doolio commented Nov 8, 2023

This fix isn't reflected in the docs site. See here.

@doolio
Copy link
Contributor

doolio commented Nov 9, 2023

Seems to be reflected now.

@charliermarsh
Copy link
Member

We publish new docs on every release, so changes on main aren’t rolled out until we cut a new version of Ruff. (This is intentional, since we don’t want the docs to e.g. list newly implemented rules that don’t exist in the published version.)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants