Jenkinsfile incompatible with ci.jenkins.io

[daniel-beck]

The current Jenkinsfile in praqma/dev is incompatible with ci.jenkins.io (the CI instance of the Jenkins project that builds all plugins in the @jenkinsci organization) by selecting a node label that just doesn't exist. This adds queue items that never start.

Since we're using a GH org folder, our ability to configure individual projects is limited.

While I personally would advocate for just using that Jenkins instance for all your CI needs, a quick fix could be to just return from the Jenkinsfile if the JENKINS_URL.contains('.jenkins.io') or similar.

[ewelinawilkosz]

oops, wasn't aware that it ends up on your Jenkins. I used your advice. and you're right, I we'll try to move it to ci.jenkins.io soon