fix: hovers and docstrings for (co)inductive types #14047
Triggered via pull request
October 15, 2025 09:54
david-christiansen
david-christiansen
closed
#10738
Status
Success
Total duration
8s
Artifacts
–