Changes

Summary

  1. Fix build names and remove the jenkins prefix for the build number (details)
Commit 92d60d96b3b46e386e81d700d271cb0a20b8360b by bernhard.bonigl
Fix build names and remove the jenkins prefix for the build number
Reasoning being because it's not properly supported by all the tools,
and we don't really need it anyway since the build number is still there
The file was modifiedbuild.gradle (diff)