Since we have been switching from using CircleCI to using Jenkins, this one should be updated as well.