We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 7e06657 + 080d2f7 commit f904bb0Copy full SHA for f904bb0
scripts/deps-ppa/static_z3.sh
@@ -27,7 +27,7 @@ [email protected]
27
packagename=z3-static
28
version=4.8.17
29
30
-DISTRIBUTIONS="focal impish jammy"
+DISTRIBUTIONS="focal impish jammy kinetic"
31
32
for distribution in $DISTRIBUTIONS
33
do
scripts/release_ppa.sh
@@ -48,7 +48,7 @@ else
48
fi
49
50
is_release() {
51
- [[ "${branch}" = "release" ]] || [[ "${branch}" =~ ^v[0-9]+(\.[0-9])*$ ]]
+ [[ "${branch}" =~ ^v[0-9]+(\.[0-9]+)*$ ]]
52
}
53
54
keyid=379F4801D622CDCF
@@ -57,7 +57,7 @@ packagename=solc
57
58
static_build_distribution=impish
59
60
61
62
if is_release
63
then
0 commit comments