diff --git a/Jenkinsfile b/Jenkinsfile index 60c0920..4dcfcef 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -29,7 +29,7 @@ pipeline { set -e VERSION=$(sed -n 's/^version=//p' "$VERSION_FILE") - if [[ ! "$VERSION" =~ ^[0-9]+(\.[0-9]+)*(-[A-Za-z]+)?$ ]]; then + if [[ ! "$VERSION" =~ ^[0-9]+(.[0-9]+)*(-[A-Za-z]+)?$ ]]; then echo "Invalid version format: $VERSION" >&2 exit 1 fi