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

Suppress ouroboros missing docs warnings #288

Merged
merged 3 commits into from
Nov 15, 2021
Merged

Conversation

billy1624
Copy link
Member

@billy1624 billy1624 commented Nov 2, 2021

@billy1624 billy1624 self-assigned this Nov 2, 2021
@tyt2y3
Copy link
Member

tyt2y3 commented Nov 4, 2021

Fun!

@tyt2y3
Copy link
Member

tyt2y3 commented Nov 15, 2021

There must be another way not relying on an upstream PR.
It shows up in code review too often!

@billy1624
Copy link
Member Author

There must be another way not relying on an upstream PR. It shows up in code review too often!

Yep! See 8e7dc55

@billy1624 billy1624 marked this pull request as ready for review November 15, 2021 03:09
@tyt2y3 tyt2y3 merged commit f4008f9 into master Nov 15, 2021
@tyt2y3 tyt2y3 deleted the suppress-missing-docs branch November 15, 2021 03:14
@tyt2y3
Copy link
Member

tyt2y3 commented Nov 15, 2021

Great yeah.

@billy1624 billy1624 mentioned this pull request Nov 19, 2021
arpancodes pushed a commit to arpancodes/sea-orm that referenced this pull request Apr 8, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants