3 ms·Locally or if for some reason you need to move off of Github and have to use Jenkins or some other CI tool.by hk1337 3y agoLocally or if for some reason you need to move off of Github and have to use Jenkins or some other CI tool.