Skip to content

Conversation

@heitorPB
Copy link
Member

@heitorPB heitorPB commented Oct 1, 2025

Latest build failed due to .. dica:: directive, that doesn't exist. Should be .. tip::.

Signed-off-by: Heitor Pascoal de Bittencourt <[email protected]>
@heitorPB heitorPB merged commit e8d1cf4 into master Oct 1, 2025
2 checks passed
@heitorPB heitorPB deleted the fix-sphinx-directive branch October 1, 2025 12:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants