Skip to content

Conversation

@ezio-melotti
Copy link
Member

@ezio-melottiezio-melotti commented Oct 6, 2022

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

@ezio-melotti
Copy link
MemberAuthor

This fixes the failures reported by v0.6.3:

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

Labels

dependenciesPull requests that update a dependency fileenhancement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@ezio-melotti