merge-after-ci: set labels correctly #978

Closed
DavHau wants to merge 0 commits from DavHau-dave into main
Owner
No description provided.
DavHau added the
needs-review
label 2024-03-13 12:11:57 +00:00
clan-bot was assigned by DavHau 2024-03-13 12:11:57 +00:00
Mic92 was assigned by DavHau 2024-03-13 12:11:57 +00:00
Qubasa was assigned by DavHau 2024-03-13 12:11:57 +00:00
DavHau added 1 commit 2024-03-13 12:11:58 +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
DavHau closed this pull request 2024-03-13 12:12:16 +00:00
DavHau removed the
needs-review
label 2024-03-19 06:05:34 +00:00
Some checks are pending
checks / checks (pull_request) Successful in 37s
checks / check-links (pull_request) Successful in 21s
checks / checks-impure (pull_request) Successful in 1m45s
Required
Details
buildbot/nix-eval
Required

Pull request closed

Sign in to join this conversation.
No reviewers
No Milestone
No project
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#978
No description provided.