merge-after-ci: set labels correctly #980

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:13:56 +00:00
clan-bot was assigned by DavHau 2024-03-13 12:13:56 +00:00
Mic92 was assigned by DavHau 2024-03-13 12:13:56 +00:00
Qubasa was assigned by DavHau 2024-03-13 12:13:56 +00:00
DavHau added 1 commit 2024-03-13 12:13:56 +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:15:10 +00:00
DavHau removed the
needs-review
label 2024-03-19 06:04:44 +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#980
No description provided.