Support custom Pull Request number#20

jhen0409 wants to merge 6 commits intozgosalvez:mainzgosalvez/github-actions-report-lcov:mainfrom

jhen0409:custom-pr-numberjhen0409/github-actions-report-lcov:custom-pr-numberCopy head branch name to clipboard