Skip to content

chore: Avoid cloning HTTP outcalls divergences when generating responses#9630

Merged
eichhorl merged 1 commit intomasterfrom
eichhorl/avoid-cloning-divergences
Mar 30, 2026
Merged

chore: Avoid cloning HTTP outcalls divergences when generating responses#9630
eichhorl merged 1 commit intomasterfrom
eichhorl/avoid-cloning-divergences

Conversation

@eichhorl
Copy link
Copy Markdown
Contributor

@eichhorl eichhorl commented Mar 27, 2026

The name divergence_response_into_reject already suggests that it should take ownership of the argument. This allows us to get rid of some clones.

@eichhorl eichhorl changed the title Draft: chore: avoid cloning divergences chore: Avoid cloning HTTP outcalls divergences when generating responses Mar 30, 2026
@github-actions github-actions bot added the chore label Mar 30, 2026
@eichhorl eichhorl marked this pull request as ready for review March 30, 2026 07:33
@eichhorl eichhorl requested a review from a team as a code owner March 30, 2026 07:33
@eichhorl eichhorl added this pull request to the merge queue Mar 30, 2026
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 30, 2026
@eichhorl eichhorl added this pull request to the merge queue Mar 30, 2026
Merged via the queue into master with commit a04c112 Mar 30, 2026
42 of 43 checks passed
@eichhorl eichhorl deleted the eichhorl/avoid-cloning-divergences branch March 30, 2026 09:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants