Changes by create-pull-request action#1

64J0 wants to merge 1 commit intomainFsharpGHActions/gh-samples:mainfrom

git-tag-to-workflow-dispatch-1718843172FsharpGHActions/gh-samples:git-tag-to-workflow-dispatch-1718843172Copy head branch name to clipboard