merge-after-ci: set labels correctly #981

Merged
clan-bot merged 1 commits from DavHau-dave into main 2024-03-13 12:20:21 +00:00
Owner
No description provided.
clan-bot was assigned by DavHau 2024-03-13 12:15:18 +00:00
DavHau added 1 commit 2024-03-13 12:15:19 +00:00
merge-after-ci: set labels correctly
All checks were successful
checks / checks (pull_request) Successful in 37s
checks / check-links (pull_request) Successful in 21s
checks / checks-impure (pull_request) Successful in 1m45s
a9dbd92ff3
clan-bot merged commit e67ac52a33 into main 2024-03-13 12:20:21 +00:00
Sign in to join this conversation.
No reviewers
No Milestone
No project
No Assignees
1 Participants
Notifications
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: clan/clan-core#981
No description provided.