Hi all, just a quick information. Tim and I observed problems with the site generation on Jenkins and try to fix it.
For me it seems like a timeout occurs due to updates of a plugin (NVD CVD or so…) which leads to Jenkins killing the pipeline after 1h. But I cannot change it as I’m no admin : / @cdutz: It seems like you‘re the only one who could assign admin priviliges for our Jenkins. Could you assigm them to both of us? Julian
