Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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
- Loading branch information