fix package.xml

diff --git a/package.xml b/package.xml
index 3b7c1bd93cbd7514cb662ec06183f4705f7ff2ae..bdf92c006d4d5fdd7cf877dbcf71d0a1bdce428f 100644 (file)
--- a/package.xml
+++ b/package.xml
@@ -383,7 +383,7 @@ https://mdref.m6w6.name/http
     <file role="src" name="check_package-xml.php"/>
     <file role="src" name="gen_curlinfo.php"/>
     <file role="src" name="gen_stubs.php"/>
-    <file role="src" name="gen_travis_yml.php"/>
+    <file role="src" name="gen_github_workflow_ci.php"/>
     <file role="src" name="gen_utf8.php"/>
    </dir>
   </dir>