Harden GitHub Actions workflows#7

maneuvertomars wants to merge 2 commits into

masterblevesearch/stempel:masterfrom

gha-hygieneblevesearch/stempel:gha-hygieneCopy head branch name to clipboard