Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[release/7.0.4xx] Update dependencies from dotnet/fsharp #35666

Conversation

dotnet-maestro[bot]
Copy link
Contributor

This pull request updates the following dependencies

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

  • Subscription: 28d0c31f-8148-4343-94c7-08db308e7945
  • Build: 20230922.5
  • Date Produced: September 22, 2023 7:44:12 PM UTC
  • Commit: 67d3bb96b714d8f17d87876cc9f4afbe83afcf49
  • Branch: refs/heads/release/dev17.7

…922.5

Microsoft.SourceBuild.Intermediate.fsharp , Microsoft.FSharp.Compiler
 From Version 7.0.401-beta.23425.9 -> To Version 7.0.402-beta.23472.5
@dotnet-issue-labeler dotnet-issue-labeler bot added Area-CodeFlow untriaged Request triage from a team member labels Sep 22, 2023
@vzarytovskii
Copy link
Member

This is just a version bump, was approved by tactics.

@vzarytovskii
Copy link
Member

/azp run

@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

@nojaf
Copy link

nojaf commented Oct 6, 2023

Hello, could this please be inserted?
I'm hitting the failing builds with my lock files more and more due to dotnet/fsharp#16014.

@vzarytovskii
Copy link
Member

@baronfel this was approved by Steve, what should be next steps? Can we insert this one? Retrigger the build? Recreate the pr?

@baronfel
Copy link
Member

baronfel commented Oct 6, 2023

Rerun the single failed build would be my suggestion, which I've just done.

@v-wuzhai v-wuzhai merged commit 86d26e4 into release/7.0.4xx Oct 7, 2023
20 checks passed
@v-wuzhai v-wuzhai deleted the darc-release/7.0.4xx-613c8da3-7f69-4bc0-9bf1-e5c45f155835 branch October 7, 2023 02:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area-CodeFlow Branch Lockdown untriaged Request triage from a team member
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants