[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Tinycc-devel] Fwd: Re: github

From: Robert Hölzl
Subject: [Tinycc-devel] Fwd: Re: github
Date: Wed, 22 Apr 2020 10:34:12 +0200
User-agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0

Hello Michael,
Am 21.04.2020 um 16:07 schrieb Michael Matz:
Hello Robert,

On Sat, 18 Apr 2020, Robert Hölzl wrote:

How about a CI?

See also https://gitlab.com/giomasce/tinycc/pipelines .

I would be happy to add the corresponding scripts, so that at least windows (x86 and x64), linux (x64) and macos (x64) are tested. I did not investigate yet, but it could be even possible to utlitze qemu to test all cpu archs (not only x86, x64).

But to make this work I need the repo to be homed at github or gitlab.
It seems that on github there is already an organization "TinyCC".
Bit it seems not to be supported by the core devs.
In fact the guy which created this repo even started some CI scripts.

@the core devs: Please point our your thoughts.
Are you interested in a CI (even it might need a switch to GitHub/GitLab/...)

I think a CI is worthwhile to have, if people look at it at least semi regularly.  But a mirror is enough to have a CI running.
Giovanni Mascellanis pipeline is exactly that: a mirror with a CI pipeline.
But it will not prevent the mob from being broken.
If the main repo would move (instead of being mirrored) pushing defect commits to mob would not be possible any more
=> the mob would be OK at any time.

Of course I understand that changing the repo is not peanuts.
Honestly said I expected this answer. But nevertheless:
please let me know your philosophy why you prefer to stick with repo.or.cz.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]