Repository navigation
Group the semantic diff comment's changelog entries as the changelog does - #9007
Conversation
A flat list led by emojis read unlike the changelog the entries end up in. The entries are now grouped under the changelog's category headings, in its order. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01AzPS5F8RDSGZ6dhfK6NdZp Signed-off-by: Christoph Knittel <ck@cca.io>
ChangelogNo changelog entry. Semantic Diff1 commit · Full page |
|
@codex review |
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
|
Codex Review: Didn't find any major issues. 🎉 Reviewed commit: ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
If Codex has suggestions, it will comment; otherwise it will react with 👍. Codex can also answer questions or update the PR. Try commenting "@codex address that feedback". |
rescript
@rescript/belt
@rescript/darwin-arm64
@rescript/linux-arm64
@rescript/linux-x64
@rescript/runtime
@rescript/win32-x64
commit: |
|
Developer playground preview: https://rescript-lang.github.io/rescript/dev-playground/?version=pr-9007 |
Follow-up to #9002: the comment's Changelog section groups the entries under the changelog's own category headings (
scripts/changelogFragments.js'scategories), in its order, instead of a flat list led by each category's emoji. #8950's entries, rendered locally:A fragment that doesn't parse goes under
#### :grey_question: Not a changelog fragmentwith its file name. The budget cap from #9002 counts the headings too.Tests: the grouping, with two fragments of one category under one heading.
🤖 Generated with Claude Code
https://claude.ai/code/session_01AzPS5F8RDSGZ6dhfK6NdZp