Skip to content

Batched IDS data consumer#8

Merged
maarten-ic merged 5 commits intomainfrom
feature/batched-ids-consumer
Feb 13, 2026
Merged

Batched IDS data consumer#8
maarten-ic merged 5 commits intomainfrom
feature/batched-ids-consumer

Conversation

@maarten-ic
Copy link
Collaborator

Add a new data consumer which batches messages and produces an IDS with multiple time slices.

N.B. builds on top of #7 which should be merged first

@maarten-ic maarten-ic marked this pull request as ready for review February 12, 2026 13:41
@maarten-ic maarten-ic requested a review from Yannicked February 12, 2026 13:41
@maarten-ic maarten-ic requested a review from Yannicked February 12, 2026 16:04
@maarten-ic maarten-ic requested a review from Yannicked February 13, 2026 09:11
@maarten-ic maarten-ic merged commit 417b3e4 into main Feb 13, 2026
3 checks passed
@maarten-ic maarten-ic deleted the feature/batched-ids-consumer branch February 13, 2026 13:40
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