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

1 Commits

Author SHA1 Message Date
a9dbd92ff3 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
2024-03-13 19:11:12 +07:00