fix package.xml
authorMichael Wallner <mike@php.net>
Tue, 12 Jan 2021 18:16:02 +0000 (19:16 +0100)
committerMichael Wallner <mike@php.net>
Tue, 12 Jan 2021 18:16:02 +0000 (19:16 +0100)
package.xml

index 3b7c1bd..bdf92c0 100644 (file)
@@ -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>