fix package.xml

diff --git a/package.xml b/package.xml
index 600d38bc70a3151f09b2cc32538ef324bf2fe840..d2df3187acb01ca7e032f456287ae1e59b5763cb 100644 (file)
--- a/package.xml
+++ b/package.xml
@@ -54,7 +54,7 @@ http://pear.php.net/dtd/package-2.0.xsd">
     <file role="src" name="php_raphf_api.c"/>
    </dir>
    <dir name="scripts">
-    <file role="src" name="gen_travis_yml.php"/>
+    <file role="src" name="gen_github_workflow_ci.php"/>
    </dir>
    <dir name="tests">
     <file role="test" name="http001.phpt" />