Skip to content

docs: mark deprecated API entries - #79

Merged
mikaello merged 1 commit into
masterfrom
docs-mark-deprecated-api
Sep 13, 2026
Merged

docs: mark deprecated API entries#79
mikaello merged 1 commit into
masterfrom
docs-mark-deprecated-api

Conversation

@mikaello

Copy link
Copy Markdown
Owner

Summary

  • render a Deprecated badge and highlighted migration notice from rescript-tools metadata
  • include deprecation messages in API filtering without parsing docstrings
  • preserve the mobile layout when badges wrap

Testing

  • npm run docs:build
  • npm run check
  • npm test (220 tests)
  • browser check at 390px width
  • verified filtering for deprecated returns 45 badged entries and no horizontal overflow

@mikaello
mikaello merged commit 0c81324 into master Sep 13, 2026
3 checks passed
@mikaello
mikaello deleted the docs-mark-deprecated-api branch September 13, 2026 04:45
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.

1 participant