harden github actions#8650

perminder-17 wants to merge 6 commits intodev-2.0processing/p5.js:dev-2.0from

harden-github-actions-for-dev-2.0processing/p5.js:harden-github-actions-for-dev-2.0Copy head branch name to clipboard