id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	i_links	o_links
436	Virtualize build environment	landauf	landauf	Maybe the jenkins builds can be run in a virtualized build environment like docker. This would allow us to define different build environments (e.g. different compilers or libraries) without cluttering the main server with a bunch orxonox-specific stuff.	task	closed	major	IT: Server Setup	IT		fixed