_build/deploy-phpdoc-release.sh: Fix version badge status
This commit is contained in:
parent
024f994d9e
commit
4f60289d36
@ -48,7 +48,7 @@ fi
|
|||||||
if [ "$DEPLOY_VERSION_BADGE" == "true" ]; then
|
if [ "$DEPLOY_VERSION_BADGE" == "true" ]; then
|
||||||
generate-badge.sh \
|
generate-badge.sh \
|
||||||
"$GIT_DIR/badges/pico-version.svg" \
|
"$GIT_DIR/badges/pico-version.svg" \
|
||||||
"release" "v$TRAVIS_TAG" "blue"
|
"release" "$TRAVIS_TAG" "blue"
|
||||||
|
|
||||||
# commit version badge
|
# commit version badge
|
||||||
echo "Committing changes..."
|
echo "Committing changes..."
|
||||||
|
Loading…
x
Reference in New Issue
Block a user