projects
/
m6w6
/
ext-json_post
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
|
github
raw
|
inline
| side by side
better way to access json globals on PHP 5
[m6w6/ext-json_post]
/
scripts
/
gen_github_workflow_ci.php
diff --git
a/scripts/gen_github_workflow_ci.php
b/scripts/gen_github_workflow_ci.php
index 3c7761b8926a274aeb00676f6542b064bfd72a6e..dd068db3fade157f426a1b0dde859a3e06cf70bf 100755
(executable)
--- a/
scripts/gen_github_workflow_ci.php
+++ b/
scripts/gen_github_workflow_ci.php
@@
-17,6
+17,7
@@
$job = $gen->github([
"PHP" => ["5.6", "7.0", "7.1", "7.2", "7.3", "7.4"],
"enable_debug" => "yes",
"enable_maintainer_zts" => "yes",
"PHP" => ["5.6", "7.0", "7.1", "7.2", "7.3", "7.4"],
"enable_debug" => "yes",
"enable_maintainer_zts" => "yes",
+ "enable_json" => "yes",
],
"master" => [
"PHP" => "master",
],
"master" => [
"PHP" => "master",