public-mirrors
/
docker-php-extension-installer
mirror of https://github.com/mlocati/docker-php-extension-installer
1
0
Fork 0
Code

Bugfix

pull/184/head
Michele Locati 2020-11-06 18:05:34 +01:00
parent f9f060c1a7
commit 534c57350d
No known key found for this signature in database
GPG Key ID: 98B7CE2E7234E28B
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/tag-and.release.yml vendored
View File

@ -92,7 +92,7 @@ jobs:
if: github.event_name == 'create' && github.event.ref_type == 'tag'
run: |
VERSIONTAG_THIS="${GITHUB_REF#refs/tags/}"
if "$VERSIONTAG_THIS" = "$VERSIONTAG_LAST"; then
if test "$VERSIONTAG_THIS" = "$VERSIONTAG_LAST"; then
if printf '%s' "$VERSIONTAG_THIS" | grep -Eq '^[0-9]+\.[0-9]+\.[0-9]+$'; then
printf 'Tag %s is version-like\n' "$VERSIONTAG_THIS"
else