Skip to content

Handle canceled and expired assignments in submit_result#71

Merged
DutChen18 merged 1 commit intomasterfrom
fix-expired-submit
Aug 23, 2025
Merged

Handle canceled and expired assignments in submit_result#71
DutChen18 merged 1 commit intomasterfrom
fix-expired-submit

Conversation

@DutChen18
Copy link
Member

Fixes #70.

I figure the specific error for AssignmentCanceled might also be useful in future, so I added that as well.

There will be a small conflict with #53 as it also adds #[derive]s to AssignmentState.

@DutChen18 DutChen18 requested a review from BoySanic August 14, 2025 16:31
@DutChen18 DutChen18 merged commit bb0be94 into master Aug 23, 2025
1 check passed
@DutChen18 DutChen18 deleted the fix-expired-submit branch August 23, 2025 19:50
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.

Check for expired assignment in /submit_result

2 participants