Skip to content

Add task filter#162

Merged
wintersteiger merged 1 commit into
mainfrom
christoph/add-task-filter
May 29, 2026
Merged

Add task filter#162
wintersteiger merged 1 commit into
mainfrom
christoph/add-task-filter

Conversation

@wintersteiger

Copy link
Copy Markdown
Collaborator

Closes #152

@wintersteiger wintersteiger force-pushed the christoph/add-task-filter branch from 1e7ef6a to e2aeb74 Compare May 28, 2026 14:36
@wintersteiger wintersteiger force-pushed the christoph/add-task-filter branch from e2aeb74 to c28a91b Compare May 28, 2026 14:36
@wintersteiger wintersteiger changed the title Christoph/add task filter Add task filter May 28, 2026
@wintersteiger wintersteiger merged commit 31fbdd5 into main May 29, 2026
6 checks passed
@wintersteiger wintersteiger deleted the christoph/add-task-filter branch May 29, 2026 11:31
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.

API support for equivalent of imandra check --po-filter r where r is a regex for goal/po focus (only check POs matching r)

1 participant