Skip to content
Labeler

[smart_holder] git merge master #1264

Sign in to view logs

[smart_holder] git merge master

[smart_holder] git merge master #1264

Triggered via pull request July 15, 2023 16:47
@rwgkrwgk
closed #4749
Status Success
Total duration 38s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

labeler.yml

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