cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix release ppa script.

Browse Source
This commit is contained in:
Daniel Kirchner 2022-06-15 17:48:06 +02:00
parent e14f27147b
commit 080d2f7868
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/deps-ppa/static_z3.sh
View File

@ -27,7 +27,7 @@ email=builds@ethereum.org
packagename=z3-static packagename=z3-static
version=4.8.17 version=4.8.17
DISTRIBUTIONS="focal impish jammy" DISTRIBUTIONS="focal impish jammy kinetic"
for distribution in $DISTRIBUTIONS for distribution in $DISTRIBUTIONS
do do

4
scripts/release_ppa.sh
View File

@ -48,7 +48,7 @@ else
fi fi
is_release() { is_release() {
[[ "${branch}" = "release" ]] || [[ "${branch}" =~ ^v[0-9]+(\.[0-9])*$ ]] [[ "${branch}" =~ ^v[0-9]+(\.[0-9]+)*$ ]]
} }
keyid=379F4801D622CDCF keyid=379F4801D622CDCF
@ -57,7 +57,7 @@ packagename=solc
static_build_distribution=impish static_build_distribution=impish
DISTRIBUTIONS="focal impish jammy" DISTRIBUTIONS="focal impish jammy kinetic"
if is_release if is_release
then then