Re: [PATCH] ci: Add a linux CI

2023-07-12 Thread Tal Regev via Gcc-patches
- I am also not sure if the maintainers of gcc will want this ci, but many other developers will be happy about that. Because many copies of gcc are already fork on github. We can see it here: https://github.com/gcc-mirror/gcc. Also gcc maintainers are requested to check and validate the gcc as

Re: [PATCH] ci: Add a linux CI

2023-07-12 Thread Christophe Lyon via Gcc-patches
Hi, On Sun, 9 Jul 2023 at 19:13, Tal Regev via Gcc-patches < gcc-patches@gcc.gnu.org> wrote: > Description: adding a ci in a github repo. Everytime a user will do a PR to > master branch or releases branches, it will activate the ci on their repo. > for example: https://github.com/talregev/gcc/p

[PATCH] ci: Add a linux CI

2023-07-09 Thread Tal Regev via Gcc-patches
Description: adding a ci in a github repo. Everytime a user will do a PR to master branch or releases branches, it will activate the ci on their repo. for example: https://github.com/talregev/gcc/pull/1. Can help users to verify their own changes before submitting a patch. ChangeLog: Add a linux C