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,,,,