ASTRI-Jenkins Jobs directory

Import jobs in jenkins using the CLI:

java -jar jenkins-cli.jar -s http://url-server create-job newjobname < xml-want-upload.xml