This commit is contained in:
Esteban Sánchez 2020-10-24 11:33:14 +02:00
parent 8f0a0381d3
commit ed44d88c5b

View file

@ -19,6 +19,7 @@ jobs:
- name: Extract branch name - name: Extract branch name
shell: bash shell: bash
run: | run: |
echo $GITHUB_REF
tag=${GITHUB_REF#refs/tags/} tag=${GITHUB_REF#refs/tags/}
tag=${tag#refs/heads/} tag=${tag#refs/heads/}
if echo $tag | grep -q -E "[0-9]+\.[0-9]+\.[0-9]+"; then if echo $tag | grep -q -E "[0-9]+\.[0-9]+\.[0-9]+"; then