X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-raphf;a=blobdiff_plain;f=scripts%2Fgen_github_workflow_ci.php;h=cc2cb920cb67320bdbb0425c74dcc88f24369cb7;hp=d5ade680f872fbb803209337de7b75f295b3fd75;hb=50c125e77f563904399d86062db65bb135161337;hpb=161c496af75d7359ce29d88d2c6d9ae79ec0c350

diff --git a/scripts/gen_github_workflow_ci.php b/scripts/gen_github_workflow_ci.php
index d5ade68..cc2cb92 100755
--- a/scripts/gen_github_workflow_ci.php
+++ b/scripts/gen_github_workflow_ci.php
@@ -17,7 +17,7 @@ $job = $gen->github([
 	"PHP" => ["7.0", "7.1", "7.2", "7.3", "7.4"],
 	"enable_debug" => "yes",
 	"enable_maintainer_zts" => "yes",
-	"PECLs" => "pecl_http:http:3.2.4",
+	"PECLs" => "propro,pecl_http:http:3.2.4",
 ], 
 "master" => [
 	"PHP" => "master",