Replace CircleCI with Jenkins #4
Description
Since we have been switching from using CircleCI to using Jenkins, this one should be updated as well.
{{ message }}
Since we have been switching from using CircleCI to using Jenkins, this one should be updated as well.