On 4 March 2018 at 23:05:55, Paul Fertser ([email protected]) wrote:
> But we'd still need CI which is done by Jenkins on VPS currently. GitHub projects have a good integration with Travis. It is not a full replacement of Jenkins, but it is still very useful, for example it can check push requests before being accepted. Regards, Liviu ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ OpenOCD-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/openocd-devel
