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.

Sign up for GitHub

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

Jump to bottom

Update sphinx-lint to 0.6.3 #956

Merged
merged 2 commits into from
Oct 6, 2022
Merged

Update sphinx-lint to 0.6.3 #956

merged 2 commits into from
Oct 6, 2022

Conversation

ezio-melotti
Copy link
Member

@ezio-melotti ezio-melotti commented Oct 6, 2022 •
edited
Loading

Some of the failures are actual problems, other are false positives, being investigated in:

@ezio-melotti ezio-melotti requested a review from hugovk October 6, 2022 19:35
@ezio-melotti ezio-melotti self-assigned this Oct 6, 2022
@ezio-melotti ezio-melotti mentioned this pull request Oct 6, 2022
Merged
@ezio-melotti
Copy link
Member Author

This fixes the failures reported by v0.6.3:

@ezio-melotti ezio-melotti merged commit 7b1f583 into main Oct 6, 2022
@ezio-melotti ezio-melotti deleted the update-sphinx-lint branch October 6, 2022 20:46
@ezio-melotti ezio-melotti added enhancement dependencies Pull requests that update a dependency file labels Oct 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@hugovk hugovk Awaiting requested review from hugovk

Assignees

@ezio-melotti ezio-melotti

Labels
dependencies Pull requests that update a dependency file enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@ezio-melotti