Separate PR submission outcomes from task done #838

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

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
Member

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
All checks were successful
test / test (pull_request) Successful in 1m3s

Pull request closed

Sign in to join this conversation.
No description provided.