Dear all, just a quick note that I changed the branch name from master to main in the Jenkins repo [1]. Additionally, I merged the current dev branch into the (new) main branch since this branch was not building anymore due to an outdated Debian package. housekeeperly greetings Peter [1] https://github.com/TEIC/Jenkins