On Mon, Jun 14, 2021 at 10:02 AM Christian Couder
[off-list ref] wrote:
On Sun, Jun 13, 2021 at 4:17 PM ZheNing Hu [off-list ref] wrote:
quoted
Since I am a newbie to docker, I would like to know if there is any
way to run the Git's Github CI program remotely or locally?
There are scripts in the ci/ directory, but yeah it could help if
there was a README there.
There is a "GitHub-Travis CI hints" in Documentation/SubmittingPatches though.