Skip to content

[release/5.0.1xx-preview8] Update dependencies from dotnet/fsharp#12573

Merged
dotnet-maestro[bot] merged 1 commit intorelease/5.0.1xx-preview8from
darc-release/5.0.1xx-preview8-00e393bb-16d6-4e95-b78c-23dd5f86a3d9
Jul 21, 2020
Merged

[release/5.0.1xx-preview8] Update dependencies from dotnet/fsharp#12573
dotnet-maestro[bot] merged 1 commit intorelease/5.0.1xx-preview8from
darc-release/5.0.1xx-preview8-00e393bb-16d6-4e95-b78c-23dd5f86a3d9

Conversation

@dotnet-maestro
Copy link
Copy Markdown
Contributor

@dotnet-maestro dotnet-maestro bot commented Jul 21, 2020

This pull request updates the following dependencies

From https://github.com/dotnet/fsharp

  • Subscription: 3c1d54ad-9525-4c7d-cd1e-08d828bd54b7
  • Build: 20200720.1
  • Date Produced: 7/20/2020 10:47 PM
  • Commit: 9d2bff85a4503589aa53269444f0bbec53872660
  • Branch: refs/heads/release/dev16.8
  • Updates:
    • Microsoft.FSharp.Compiler: from 11.0.0-beta.20367.6 to 11.0.0-beta.20370.1

@dotnet-maestro
Update dependencies from https://github.com/dotnet/fsharp build 20200…
dd53d9c 
…720.1

Microsoft.FSharp.Compiler
 From Version 11.0.0-beta.20367.6 -> To Version 11.0.0-beta.20370.1
@dotnet-maestro
Copy link
Copy Markdown
Contributor Author

dotnet-maestro bot commented Jul 21, 2020 •
edited
Loading

Auto-Merge Status

This pull request has been merged because the following merge policies have succeeded.

  • ✔️ Standard Merge Policies Succeeded - Successful checks: dotnet-sdk-public-ci, dotnet-sdk-public-ci (Build Darwin Build_Release), dotnet-sdk-public-ci (Build Darwin Build_Debug), dotnet-sdk-public-ci (Build Ubuntu_16_04 Build_Release), dotnet-sdk-public-ci (Build Ubuntu_16_04 Build_Debug), dotnet-sdk-public-ci (Build Windows_NT_TestAsTools Build_Debug), dotnet-sdk-public-ci (Build Windows_NT_FullFramework Build_Release), dotnet-sdk-public-ci (Build Windows_NT Build_Release), dotnet-sdk-public-ci (Build Windows_NT_FullFramework Build_Debug), dotnet-sdk-public-ci (Build Windows_NT Build_Debug)
  • ✔️ Standard Merge Policies Succeeded - No reviews have requested changes.
  • ✔️ Standard Merge Policies Succeeded - No version downgrade detected.

@dotnet-maestro dotnet-maestro bot merged commit dab2534 into release/5.0.1xx-preview8 Jul 21, 2020
@dotnet-maestro dotnet-maestro bot deleted the darc-release/5.0.1xx-preview8-00e393bb-16d6-4e95-b78c-23dd5f86a3d9 branch July 21, 2020 17:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

0 participants