git merge smart_holder#30145

Merged

rwgk merged 9 commits intogoogle:mainfrom

rwgk:pybind11k_merge_sh

Aug 13, 2024

Commits on Aug 12, 2024

fix(cmake): add required emscripten flags (#5298)
henryiii
authored
chore(deps): bump actions/attest-build-provenance in the actions group (#5297)
dependabot[bot]
authored