Skip to content

Optimize union matching performances#55

Merged
zoontek merged 2 commits intomainfrom
optimize-union-perfs
Nov 10, 2025
Merged

Optimize union matching performances#55
zoontek merged 2 commits intomainfrom
optimize-union-perfs

Commits

Commits on Nov 10, 2025