Add GITHUB_PR_NUMBER to GitLab workflow#191

philippem merged 1 commit intoBlockstream:new-indexBlockstream/electrs:new-indexfrom

EddieHouston:patch-1EddieHouston/electrs:patch-1Copy head branch name to clipboard