CI scripts

Before changing the scripts

Please ensure that your changes are tested in a clone of the Jenkins job that you intend to change. Once the job runs as expected, the changes can be applied to the actual job.