ci: harden GitHub Actions workflows#1156

peaceiris merged 1 commit into

mainpeaceiris/actions-gh-pages:mainfrom

codex/review-github-actions-workflowspeaceiris/actions-gh-pages:codex/review-github-actions-workflowsCopy head branch name to clipboard