mirrors/ripgrep
1
0
Fork 0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2025-12-23 06:30:57 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

ci/release: Use GITHUB_REF_NAME instead of GITHUB_REF

Browse source 
This is a nice quality of life improvement.

Closes #2358
This commit is contained in:
James McKinney 2022-11-23 15:27:48 -05:00 • committed by Andrew Gallant
parent c9584b035b
commit fc7e634395
1 changed files with 1 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
.github/workflows/release.yml vendored
View file

@ -36,10 +36,7 @@ jobs:
shell: bash
if: env.RG_VERSION == ''
run: |
# Apparently, this is the right way to get a tag name. Really?
#
# See: https://github.community/t5/GitHub-Actions/How-to-get-just-the-tag-name/m-p/32167/highlight/true#M1027
echo "RG_VERSION=${GITHUB_REF#refs/tags/}" >> $GITHUB_ENV
echo "RG_VERSION=$GITHUB_REF_NAME" >> $GITHUB_ENV
echo "version is: ${{ env.RG_VERSION }}"
- name: Create GitHub release
env: