Skip to content

git merge smart_holder #60

git merge smart_holder

git merge smart_holder #60

Triggered via pull request July 18, 2023 15:00
@rwgkrwgk
closed #30053
Status Success
Total duration 13s
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
2s
Labeler
Fit to window
Zoom out
Zoom in