[php-src] Issue #10057: Switch travis to github actions
| From: | eerison | Date: | Tue, 06 Dec 2022 14:24:43 +0000 |
| Subject: | [php-src] Issue #10057: Switch travis to github actions | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-243055@lists.php.net to get a copy of this message | ||
Issue: https://github.com/php/php-src/issues/10057
Author: eerison
### Description
What do you think we centralize every CI to github actions? Have one platform Should be easier to
maintain.