Skip to content

Add keep_predicates filter#222

Merged
cthoyt merged 1 commit into
mainfrom
keep-predicates-filter
Apr 23, 2026
Merged

Add keep_predicates filter#222
cthoyt merged 1 commit into
mainfrom
keep-predicates-filter

Conversation

@cthoyt
Copy link
Copy Markdown
Member

@cthoyt cthoyt commented Apr 23, 2026

No description provided.

@cthoyt cthoyt enabled auto-merge (squash) April 23, 2026 06:35
@cthoyt cthoyt merged commit 96c9b23 into main Apr 23, 2026
9 checks passed
@cthoyt cthoyt deleted the keep-predicates-filter branch April 23, 2026 06:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant