harden GitHub Actions workflows#8620

perminder-17 wants to merge 1 commit intomainprocessing/p5.js:mainfrom

hardning-github-actionsprocessing/p5.js:hardning-github-actionsCopy head branch name to clipboard