Skip to content

Refactor Python discovery iterators to use filter_ok and map_ok#11145

Merged
zanieb merged 1 commit intomainfrom
zb/refactor-disc-ok
Jan 31, 2025
Merged

Refactor Python discovery iterators to use filter_ok and map_ok#11145
zanieb merged 1 commit intomainfrom
zb/refactor-disc-ok

Conversation

@zanieb
Copy link
Member

@zanieb zanieb commented Jan 31, 2025

Because now I know those exist

@zanieb zanieb added the internal A refactor or improvement that is not user-facing label Jan 31, 2025
@zanieb zanieb force-pushed the zb/refactor-disc-ok branch from 0aef080 to a90e880 Compare January 31, 2025 20:31
@zanieb zanieb force-pushed the zb/filter branch 2 times, most recently from 02e72be to 9fd10a1 Compare January 31, 2025 21:45
@zanieb zanieb force-pushed the zb/refactor-disc-ok branch from a90e880 to dff4e44 Compare January 31, 2025 21:46
Base automatically changed from zb/filter to main January 31, 2025 21:54
@zanieb zanieb force-pushed the zb/refactor-disc-ok branch from dff4e44 to 42eb61b Compare January 31, 2025 21:57
@zanieb zanieb enabled auto-merge (squash) January 31, 2025 21:57
@zanieb zanieb merged commit e6ead20 into main Jan 31, 2025
73 checks passed
@zanieb zanieb deleted the zb/refactor-disc-ok branch January 31, 2025 22:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal A refactor or improvement that is not user-facing

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments