Skip to content

Comments

Use status Error and state aborted for aborted missions#21

Merged
b-Tomas merged 4 commits intomainfrom
b-Tomas/aborted-missions-use-error-status
Feb 11, 2026
Merged

Use status Error and state aborted for aborted missions#21
b-Tomas merged 4 commits intomainfrom
b-Tomas/aborted-missions-use-error-status

Conversation

@b-Tomas
Copy link
Member

@b-Tomas b-Tomas commented Feb 10, 2026

Use status "Error" and state "aborted" for aborted missions instead of "OK"/"Abandoned"

@b-Tomas b-Tomas self-assigned this Feb 10, 2026
@b-Tomas b-Tomas changed the title Use status Error for aborted missions Use status Error and state aborted for aborted missions Feb 11, 2026
@b-Tomas b-Tomas force-pushed the b-Tomas/aborted-missions-use-error-status branch from 8858017 to 4bed81b Compare February 11, 2026 14:07
@b-Tomas b-Tomas marked this pull request as ready for review February 11, 2026 15:09
Copy link
Member

@miguelgarcia miguelgarcia left a comment

Choose a reason for hiding this comment

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

LGTM!

@b-Tomas b-Tomas merged commit 16779f7 into main Feb 11, 2026
6 checks passed
@b-Tomas b-Tomas deleted the b-Tomas/aborted-missions-use-error-status branch February 11, 2026 17:37
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