Skip to content

Bump FSharp.Core from 8.0.400 to 8.0.401 in the other-dependencies group#1918

Merged
jzabroski merged 2 commits into
mainfrom
dependabot/nuget/other-dependencies-b3f18e7789
Oct 9, 2024
Merged

Bump FSharp.Core from 8.0.400 to 8.0.401 in the other-dependencies group#1918
jzabroski merged 2 commits into
mainfrom
dependabot/nuget/other-dependencies-b3f18e7789

Conversation

@dependabot

@dependabot dependabot Bot commented on behalf of github Oct 9, 2024

Copy link
Copy Markdown
Contributor

Bumps the other-dependencies group with 1 update: FSharp.Core.

Updates FSharp.Core from 8.0.400 to 8.0.401

Commits

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
  • @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
  • @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
  • @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
  • @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions

@dependabot dependabot Bot added the dependencies Pull requests that update a dependency file label Oct 9, 2024
@dependabot
dependabot Bot requested a review from jzabroski October 9, 2024 13:33
@dependabot
dependabot Bot force-pushed the dependabot/nuget/other-dependencies-b3f18e7789 branch from de02072 to 6bb1510 Compare October 9, 2024 13:37
Bumps the other-dependencies group with 1 update: [FSharp.Core](https://github.com/dotnet/fsharp).


Updates `FSharp.Core` from 8.0.400 to 8.0.401
- [Release notes](https://github.com/dotnet/fsharp/releases)
- [Changelog](https://github.com/dotnet/fsharp/blob/main/release-notes.md)
- [Commits](https://github.com/dotnet/fsharp/commits)

---
updated-dependencies:
- dependency-name: FSharp.Core
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: other-dependencies
...

Signed-off-by: dependabot[bot] <[email protected]>
@dependabot
dependabot Bot force-pushed the dependabot/nuget/other-dependencies-b3f18e7789 branch from 6bb1510 to a153090 Compare October 9, 2024 13:41
@jzabroski jzabroski added this to the 6.3.0 milestone Oct 9, 2024
@jzabroski
jzabroski merged commit b56cab5 into main Oct 9, 2024
@dependabot
dependabot Bot deleted the dependabot/nuget/other-dependencies-b3f18e7789 branch October 9, 2024 14:55
@jzabroski jzabroski modified the milestones: 6.3.0, 7.0.0 Mar 18, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant