On Mon, Jun 14, 2021 at 10:02 AM Christian Couder <christian.couder@xxxxxxxxx> wrote: > > On Sun, Jun 13, 2021 at 4:17 PM ZheNing Hu <adlternative@xxxxxxxxx> wrote: > > 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.
