projects / platform / upstream / coreclr.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 8a163ca b8e886b)
Merge pull request #12931 from jashook/fix_machine_arm32_checked
authorJarret Shook <jashoo@microsoft.com>
Wed, 19 Jul 2017 20:14:57 +0000 (13:14 -0700)
committerGitHub <noreply@github.com>
Wed, 19 Jul 2017 20:14:57 +0000 (13:14 -0700)
Use the correct machine for arm32 checked jobs


Trivial merge
Domain: Dotnet / Core;