Skip to content

Sort types and values#1194

Merged
fhammerschmidt merged 1 commit intorescript-lang:masterfrom
shulhi:sort-types-values
Feb 16, 2026
Merged

Sort types and values#1194
fhammerschmidt merged 1 commit intorescript-lang:masterfrom
shulhi:sort-types-values

Conversation

@shulhi
Copy link
Member

@shulhi shulhi commented Feb 16, 2026

Sort types and values on right sidebar

image

@shulhi shulhi requested a review from jderochervlk February 16, 2026 11:45
@fhammerschmidt fhammerschmidt merged commit 4cc5358 into rescript-lang:master Feb 16, 2026
4 checks passed
@shulhi shulhi deleted the sort-types-values branch February 16, 2026 13:34
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

Comments