actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2025-01-18 22:31:45 +07:00
Code Issues Packages Projects Releases Wiki Activity

Fix update on multiple installs in same job

Browse Source
This commit is contained in:
Shivam Mathur 2024-12-23 07:33:26 +05:30
parent 7e98140142
commit cdfde5ebec
No known key found for this signature in database
GPG Key ID: 3E13E4C8591ACC2A
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/scripts/unix.sh
View File

@ -63,7 +63,12 @@ read_env() {
# Set Update to true if the ubuntu github image does not have PHP PPA.
if [[ "$runner" = "github" && "${ImageOS}" =~ ubuntu.* ]]; then
check_ppa ondrej/php || update=true
if ! check_ppa ondrej/php; then
update=true
echo '' | sudo tee /tmp/sp_update >/dev/null 2>&1
elif [ -e /tmp/sp_update ]; then
update=true
fi
fi
export fail_fast