Skip to content

Conversation

@dotnet-maestro
Copy link
Contributor

This pull request updates the following dependencies

From https://github.com/dotnet/core-setup

  • Subscription: 65fc350c-98f4-4674-92fc-08d795576dcc
  • Build: 20200116.11
  • Date Produced: 1/17/2020 2:08 AM
  • Commit: 92224c91b9a8dda9b77c41b583fbd711378adc87
  • Branch: refs/heads/release/3.1
  • Updates:
    • Microsoft.NETCore.App.Internal -> 3.1.2-servicing.20066.11
    • Microsoft.NETCore.App.Runtime.win-x64 -> 3.1.2

Coherency Updates

The following updates ensure that dependencies with a CoherentParentDependency
attribute were produced in a build used as input to the parent dependency's build.
See Dependency Description Format

  • System.Text.Json -> 4.7.1 (parent: Microsoft.NETCore.App.Runtime.win-x64)

…0200116.11

- Microsoft.NETCore.App.Internal - 3.1.2-servicing.20066.11
- Microsoft.NETCore.App.Runtime.win-x64 - 3.1.2

Dependency coherency updates

- System.Text.Json - 4.7.1 (parent: Microsoft.NETCore.App.Runtime.win-x64)
@dotnet-maestro dotnet-maestro bot requested a review from dougbu as a code owner January 17, 2020 02:50
@dotnet-maestro
Copy link
Contributor Author

dotnet-maestro bot commented Jan 17, 2020

Auto-Merge Status

This pull request will be merged because the following merge policies have succeeded.

  • ✔️ Standard Merge Policies Succeeded - Successful checks: extensions-ci, extensions-ci (Build Test: Linux Source Build), extensions-ci (Build OSX Release), extensions-ci (Build OSX Debug), extensions-ci (Build Ubuntu 16.04 Release), extensions-ci (Build Ubuntu 16.04 Debug), extensions-ci (Build Windows Release), extensions-ci (Build Windows Debug), extensions-ci (Build Code check)
  • ✔️ Standard Merge Policies Succeeded - No reviews have requested changes.

@wtgodbe wtgodbe merged commit 9f358d9 into release/3.1 Jan 17, 2020
@wtgodbe wtgodbe deleted the darc-release/3.1-679a7e8d-53e5-4026-9f86-f0801e67c688 branch January 17, 2020 03:26
@ghost ghost locked as resolved and limited conversation to collaborators May 26, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants