DEV: git merge smart_holder after PR #5257 #285

Sign in to view logs

Triggered via pull request August 3, 2024 16:25

rwgk

opened #30141

rwgk:pybind11k_merge_sh_after_pr5257

Status Success

Total duration 15m 57s

Artifacts –

format.yml

on: pull_request