Skip to content

fix: preserve shared earcut worker pool - #1248

Closed
MarkusTomio wants to merge 1 commit into
developmentseed:mainfrom
MarkusTomio:fix-shared-earcut-pool-lifecycle
Closed

fix: preserve shared earcut worker pool#1248
MarkusTomio wants to merge 1 commit into
developmentseed:mainfrom
MarkusTomio:fix-shared-earcut-pool-lifecycle

fix: preserve shared earcut worker pool

6bd6bcc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
validate-pr-title
succeeded Aug 20, 2026 in 12s