Skip to content

[diffs] Fix WorkerPool.setRenderOptions partial#770

Merged
amadeus merged 1 commit into
mainfrom
amadeus/workerpool-set-render-options-fix
Jun 2, 2026
Merged

[diffs] Fix WorkerPool.setRenderOptions partial#770
amadeus merged 1 commit into
mainfrom
amadeus/workerpool-set-render-options-fix

Conversation

@amadeus
Copy link
Copy Markdown
Member

@amadeus amadeus commented Jun 2, 2026

The partiality of the argument invited resetting values back to their defaults instead of inheriting.

The partial invited incremental updates, but didn't properly support
merging in old values
@vercel
Copy link
Copy Markdown

vercel Bot commented Jun 2, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
pierre-docs-diffshub Ready Ready Preview Jun 2, 2026 10:31pm
pierre-docs-trees Building Building Preview Jun 2, 2026 10:31pm
pierrejs-diff-demo Ready Ready Preview Jun 2, 2026 10:31pm
pierrejs-docs Ready Ready Preview Jun 2, 2026 10:31pm

Request Review

@amadeus amadeus merged commit 09e4d91 into main Jun 2, 2026
11 of 12 checks passed
@amadeus amadeus deleted the amadeus/workerpool-set-render-options-fix branch June 2, 2026 22:51
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