Adding CI-SH-DEF GitHub Actions workflow, based on PR #2930.#2963

rwgk merged 2 commits intopybind:smart_holderpybind/pybind11:smart_holderfrom

rwgk:ci_sh_patchrwgk/pybind11:ci_sh_patchCopy head branch name to clipboard