fix package.xml
authorMichael Wallner <mike@php.net>
Wed, 13 Jan 2021 10:54:56 +0000 (11:54 +0100)
committerMichael Wallner <mike@php.net>
Wed, 13 Jan 2021 10:54:56 +0000 (11:54 +0100)
package.xml

index 866ba0cdb9b1097a85b95f9a445e239451ea35f5..f9c0a93e8b2152d05b2049a7718ca2686d6e891d 100644 (file)
@@ -378,7 +378,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>