projects / platform / upstream / coreclr.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b638af3 82ba80a)
Merge pull request #8510 from DrewScoggins/CommitNameFix
authorDrew Scoggins <anscoggi@microsoft.com>
Tue, 13 Dec 2016 00:30:34 +0000 (16:30 -0800)
committerGitHub <noreply@github.com>
Tue, 13 Dec 2016 00:30:34 +0000 (16:30 -0800)
Add ability to give a name to a manual PR run

When using the PR leg of the Jenkins performance jobs it is now possible to specify a name that will be used when inserting the data into the perf database.


Trivial merge
Domain: Dotnet / Core;