on jenkins, iirc, you get, say, `JOB_NUMBER` or so...
# build-tools
e
on jenkins, iirc, you get, say,
JOB_NUMBER
or some such for free so there's no need to configure your job with anything special