Skip to content

ffi: the team handle owns its pool instead of building one per call (#333) - #344

Merged
shinaoka merged 5 commits into
mainfrom
fix/333-ffi-team-pool
Nov 9, 2026
Merged

shinaoka merged 5 commits into
mainfrom
fix/333-ffi-team-pool

ffi: drop the old pool before set_threads builds the new one, and bou…

5deb00e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors and 1 notice
code-quality
succeeded Nov 9, 2026 in 2m 26s