Adjust extension_dir for PHP 8 on Ubuntu

Reset extension cache

Update dependencies

Update lists
This commit is contained in:
Shivam Mathur
2020-12-17 13:16:33 +05:30
parent 1b7b26deeb
commit 30e4da7ed2
8 changed files with 268 additions and 276 deletions

View File

@@ -74,7 +74,7 @@ key=$2
version=$3
os=$(uname -s)
old_versions="5.[4-5]"
nightly_versions="8.[0-1]"
nightly_versions="8.[1-9]"
if [ "$os" = "Linux" ]; then
release=$(lsb_release -s -c)
os=$os-$release
@@ -91,6 +91,6 @@ else
dir='C:\\tools\\php\\ext'
fi
key="$os"-ext-"$version"-$(echo -n "$extensions-$key" | openssl dgst -sha256 | cut -d ' ' -f 2)
key="$key-20201126"
key="$key-20201217"
echo "::set-output name=dir::$dir"
echo "::set-output name=key::$key"