Skip to content
PR Labeler

Multi-Color tails, small tail, and a new marking #12744

Sign in to view logs

Multi-Color tails, small tail, and a new marking

Multi-Color tails, small tail, and a new marking #12744

Triggered via pull request November 29, 2023 09:53
@thgvrthgvr
synchronize #2542
Status Success
Total duration 12s
Artifacts –

labeler.yml

on: pull_request_target
Label
4s
Label
Fit to window
Zoom out
Zoom in