From 89c9a0ff7f1469928cb4c9ff1a114005715449f2 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Tue, 12 Jan 2021 19:16:02 +0100
Subject: [PATCH] fix package.xml

---
 package.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.xml b/package.xml
index 3b7c1bd..bdf92c0 100644
--- 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>
-- 
2.30.2