Separate PR submission outcomes from task done #838

Closed
coilyco-ops wants to merge 0 commits from issue-777 into main
Owner

closes #777

ward.workflow: pull-request-and-merge

closes #777 ward.workflow: pull-request-and-merge
fix: separate PR submission outcomes
Some checks failed
test / test (pull_request) Failing after 33s
d4b9c983a4
fix: satisfy lint on PR submission outcomes
All checks were successful
test / test (pull_request) Successful in 31s
e808c72913
Merge remote-tracking branch 'origin/main' into issue-777
All checks were successful
test / test (pull_request) Successful in 1m3s
20510a7d7d
# Conflicts:
#	docs/FEATURES.md
Author
Owner

Merge queue note: this PR now has zero commits/files ahead of main after the queue advanced. Forgejo returns 405 on merge because there is nothing left to merge. Closing this stale PR shell.

Merge queue note: this PR now has zero commits/files ahead of `main` after the queue advanced. Forgejo returns 405 on merge because there is nothing left to merge. Closing this stale PR shell.
coilyco-ops closed this pull request 2026-07-09 19:03:25 +00:00
Commenting is not possible because the repository is archived.
No reviewers
No milestone
No project
No assignees
1 participant
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
coilyco-flight-deck/ward!838
No description provided.