jenkins server url attribute