Skip to content

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

Merged
dotnet-maestro[bot] merged 1 commit intorelease/5.0.1xx-preview8from
darc-release/5.0.1xx-preview8-64545be1-6286-464a-befc-00ac5fa39693
Jul 23, 2020
Merged

[release/5.0.1xx-preview8] Update dependencies from dotnet/fsharp#12603
dotnet-maestro[bot] merged 1 commit intorelease/5.0.1xx-preview8from
darc-release/5.0.1xx-preview8-64545be1-6286-464a-befc-00ac5fa39693

Conversation

@dotnet-maestro
Copy link
Copy Markdown
Contributor

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

This pull request updates the following dependencies

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

  • Subscription: 3c1d54ad-9525-4c7d-cd1e-08d828bd54b7
  • Build: 20200722.1
  • Date Produced: 7/23/2020 12:05 AM
  • Commit: 670ae9e8a6e06b7dc0a5c4cb041851cebba2a0e4
  • Branch: refs/heads/release/dev16.8
  • Updates:
    • Microsoft.FSharp.Compiler: from 11.0.0-beta.20371.5 to 11.0.0-beta.20372.1

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

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

dotnet-maestro bot commented Jul 23, 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 Ubuntu_16_04 Build_Release), dotnet-sdk-public-ci (Build Ubuntu_16_04 Build_Debug), dotnet-sdk-public-ci (Build Darwin Build_Release), dotnet-sdk-public-ci (Build Darwin 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 28d7993 into release/5.0.1xx-preview8 Jul 23, 2020
@dotnet-maestro dotnet-maestro bot deleted the darc-release/5.0.1xx-preview8-64545be1-6286-464a-befc-00ac5fa39693 branch July 23, 2020 02:31
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