Skip to content

Conversation

@FBruzzesi
Copy link
Member

@FBruzzesi FBruzzesi commented Dec 22, 2025

Description

What type of PR is this? (check all applicable)

  • πŸ’Ύ Refactor
  • ✨ Feature
  • πŸ› Bug Fix
  • πŸ”§ Optimization
  • πŸ“ Documentation
  • βœ… Test
  • 🐳 Other

Related issues

Related #3285 (comment)

Checklist

  • Code follows style guide (ruff)
  • Tests added
  • Documented the changes
Screenshots

filter is gone for api-reference

image

while it's still there for api-completeness

image

@FBruzzesi FBruzzesi added documentation Improvements or additions to documentation fix labels Dec 22, 2025
@FBruzzesi
Copy link
Member Author

@MarcoGorelli it was simpler than expected. Also found another logical bug in the script that needed a fix

Copy link
Member

@MarcoGorelli MarcoGorelli left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks @FBruzzesi !

@FBruzzesi FBruzzesi merged commit 83f4f2e into main Dec 22, 2025
31 of 35 checks passed
@FBruzzesi FBruzzesi deleted the fix/docs-rendering branch December 22, 2025 14:14
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 fix

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants