Merge pull request #5235 from LLITCHEV/r2r-jitstress-only-checked
authorLubomir Litchev <LLITCHEV@users.noreply.github.com>
Thu, 26 May 2016 18:14:52 +0000 (11:14 -0700)
committerLubomir Litchev <LLITCHEV@users.noreply.github.com>
Thu, 26 May 2016 18:14:52 +0000 (11:14 -0700)
commitb671a720e48e5a1e5c5fe839bb6d959460f6c82e
tree7be710ae48d31e6a35c97aacb8fbc68b252af7f9
parent185a23ebc2b54873d00a91e5ef069e6571c8e356
parent6dcc70e2572a354e8de201ac3dff37f53825b9f0
Merge pull request #5235 from LLITCHEV/r2r-jitstress-only-checked

Don't do r2r-jitstress jobs for non Checked configurations.