[WIP] Fix failing GitHub Actions job 'publish'#10

hustcc with Copilot wants to merge 1 commit into

masterantvis/context:masterfrom

copilot/fix-publishing-jobantvis/context:copilot/fix-publishing-jobCopy head branch name to clipboard