DEV: git merge smart_holder after PR #5257 #291

Sign in to view logs

Triggered via pull request August 9, 2024 16:52

rwgk

synchronize #30141

rwgk:pybind11k_merge_sh_after_pr5257

Status Success

Total duration 15m 36s

Artifacts –

format.yml

on: pull_request