Skip to content

fix: cleanup the contract of the general-purpose exec() function#17870

Merged
bolinfest merged 1 commit into
mainfrom
pr17870
Apr 15, 2026
Merged

fix: cleanup the contract of the general-purpose exec() function#17870
bolinfest merged 1 commit into
mainfrom
pr17870

Conversation

@bolinfest

@bolinfest bolinfest commented Apr 15, 2026

Copy link
Copy Markdown
Collaborator

exec() had a number of arguments that were unused, making the function signature misleading. This PR aims to clean things up to clarify the role of this function and to clarify which fields of ExecParams are unused and why.

@bolinfest bolinfest enabled auto-merge (squash) April 15, 2026 01:37
@bolinfest bolinfest force-pushed the pr17870 branch 5 times, most recently from f184103 to 58604a1 Compare April 15, 2026 04:03
@bolinfest bolinfest merged commit c6defb1 into main Apr 15, 2026
44 of 50 checks passed
@bolinfest bolinfest deleted the pr17870 branch April 15, 2026 04:40
@github-actions github-actions Bot locked and limited conversation to collaborators Apr 15, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants