message no. 170393
Posted by nedbat in #github at 2019-03-10T16:21:52Z
HoloIRCUser: i don't know how the configuration is done, but you can certainly use jenkins to run the tests on a pull request.
Posted by nedbat in #github at 2019-03-10T16:21:52Z