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

Remove ondrej/pkg-gearman ppa [skip ci]

Browse Source
This commit is contained in:
Shivam Mathur
2025-07-20 01:48:35 +05:30
parent 20169f80b7
commit e1dc734412
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/scripts/extensions/gearman.sh
View File

@ -1,6 +1,5 @@
# Helper function to add gearman extension. # Helper function to add gearman extension.
add_gearman_helper() { add_gearman_helper() {
add_ppa ondrej/pkg-gearman
install_packages libgearman-dev install_packages libgearman-dev
enable_extension gearman extension enable_extension gearman extension
if ! check_extension gearman; then if ! check_extension gearman; then