Skip to content

Use runs.queue for filtering#4645

Merged
nikola-jokic merged 2 commits intomasterfrom
nikola-jokic/query
Jan 29, 2026
Merged

Use runs.queue for filtering#4645
nikola-jokic merged 2 commits intomasterfrom
nikola-jokic/query

Conversation

@nikola-jokic
Copy link
Contributor

What type of PR is this?

Enhancement

What this PR does / why we need it

jr.queue filtering should be faster: #4612 (comment)

Signed-off-by: Nikola Jokic <jokicnikola07@gmail.com>
@nikola-jokic nikola-jokic merged commit 7a4b409 into master Jan 29, 2026
15 checks passed
@nikola-jokic nikola-jokic deleted the nikola-jokic/query branch January 29, 2026 16:23
Sigele pushed a commit to Sigele/armada that referenced this pull request Jan 30, 2026
<!-- Thanks for sending a pull request! Here are some tips for you: -->

#### What type of PR is this?

Enhancement

#### What this PR does / why we need it

jr.queue filtering should be faster:
armadaproject#4612 (comment)

Signed-off-by: Nikola Jokic <jokicnikola07@gmail.com>
Signed-off-by: Sigele Nickerson-Adams <sigele.nickerson-adams@nmc2.ai>
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.

2 participants