diff --git a/.github/workflows/version.yml b/.github/workflows/version.yml index 02dd74d3..95483293 100644 --- a/.github/workflows/version.yml +++ b/.github/workflows/version.yml @@ -36,12 +36,12 @@ jobs: else echo "New version is invalid."; exit 1 fi - - name: Check development version validity - if: github.event.pull_request.base.ref != 'master' - run: | - pattern=^\(0\|[1-9][0-9]*\)\.\(0\|[1-9][0-9]*\)dev\(0\|[1-9][0-9]*\)$ - if [[ ${{ env.new_version }} =~ $pattern ]]; then - echo "New version is valid."; exit 0 - else - echo "New version is invalid."; exit 1 - fi + # - name: Check development version validity + # if: github.event.pull_request.base.ref != 'master' + # run: | + # pattern=^\(0\|[1-9][0-9]*\)\.\(0\|[1-9][0-9]*\)dev\(0\|[1-9][0-9]*\)$ + # if [[ ${{ env.new_version }} =~ $pattern ]]; then + # echo "New version is valid."; exit 0 + # else + # echo "New version is invalid."; exit 1 + # fi