diff --git a/scripts/deps-ppa/static_z3.sh b/scripts/deps-ppa/static_z3.sh index 6fd353ad8..a2a632cc2 100755 --- a/scripts/deps-ppa/static_z3.sh +++ b/scripts/deps-ppa/static_z3.sh @@ -27,7 +27,7 @@ email=builds@ethereum.org packagename=z3-static version=4.8.17 -DISTRIBUTIONS="focal impish jammy" +DISTRIBUTIONS="focal impish jammy kinetic" for distribution in $DISTRIBUTIONS do diff --git a/scripts/release_ppa.sh b/scripts/release_ppa.sh index fe1efda27..8daf91c8d 100755 --- a/scripts/release_ppa.sh +++ b/scripts/release_ppa.sh @@ -48,7 +48,7 @@ else fi is_release() { - [[ "${branch}" = "release" ]] || [[ "${branch}" =~ ^v[0-9]+(\.[0-9])*$ ]] + [[ "${branch}" =~ ^v[0-9]+(\.[0-9]+)*$ ]] } keyid=379F4801D622CDCF @@ -57,7 +57,7 @@ packagename=solc static_build_distribution=impish -DISTRIBUTIONS="focal impish jammy" +DISTRIBUTIONS="focal impish jammy kinetic" if is_release then