Skip to content

Conversation

@ghost
Copy link

@ghost ghost commented Nov 19, 2025

Description of changes:

Align with backend and allow empty operations list.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

@ghost ghost marked this pull request as ready for review November 19, 2025 19:50
@ghost ghost requested review from wangyb-A and yaythomas as code owners November 19, 2025 19:50
Copy link
Contributor

@leandrodamascena leandrodamascena left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I haven't tested whether the type checker will complain about this, but I've just left a few small suggestions that you can ignore if they don't make sense or cause problems.

Co-authored-by: Leandro Damascena <lcdama@amazon.pt>
@ghost ghost dismissed leandrodamascena’s stale review November 21, 2025 13:02

Approved already

@ghost ghost merged commit 00b195d into main Nov 21, 2025
8 of 9 checks passed
@ghost ghost deleted the empty-operations-list branch November 21, 2025 13:02
This pull request was closed.
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.

4 participants