Skip to content

Release notes: Improved move-filters-into-enumerate optimizer rule#418

Merged
nerpaula merged 1 commit intomainfrom
move-filters-into-enumerate
Jan 8, 2024
Merged

Release notes: Improved `move-filters-into-enumerate` optimizer rule#418
nerpaula merged 1 commit intomainfrom
move-filters-into-enumerate

Commits

Commits on Jan 8, 2024