Docs: Jenkins config with default values for local setup (#3609)
Docs: Jenkins config with default values for local setup (#3609)


ls1intum/ArTEMiS,ls1intum/ArTEMiS,ls1intum/ArTEMiS,ls1intum/ArTEMiS,ls1intum/ArTEMiS,ls1intum/ArTEMiS