Skip to content
Format

git merge smart_holder after PR #5257 #292

Sign in to view logs

git merge smart_holder after PR #5257

git merge smart_holder after PR #5257 #292

Triggered via pull request August 9, 2024 17:12
@rwgkrwgk
opened #30143
rwgk:pybind11k_merge_sh_after_pr5257_squashed
Status Success
Total duration 16m 28s
Artifacts –

format.yml

on: pull_request
Format
1m 39s
Format
Clang-Tidy
16m 12s
Clang-Tidy
Fit to window
Zoom out
Zoom in