While going through this pipeline documentation section https://jenkins.io/doc/book/pipeline/syntax/#tools - how can one know possible pre-configured tools if he is not a Jenkins admin? (I suppose only Jenkins admin can manage *Global Tool Configuration)*
-- You received this message because you are subscribed to the Google Groups "Jenkins Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-users/a607e7cc-6701-4ee8-85e6-647acaf95dd8%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
