Skip to content

chore(deps): update dependency fsharp.core to 10.1.301#6202

Merged
thomhurst merged 1 commit into
mainfrom
renovate/fsharp.core-10.x
Jun 9, 2026
Merged

chore(deps): update dependency fsharp.core to 10.1.301#6202
thomhurst merged 1 commit into
mainfrom
renovate/fsharp.core-10.x

Conversation

@thomhurst

Copy link
Copy Markdown
Owner

This PR contains the following updates:

Package Type Update Change
FSharp.Core (source) nuget patch 10.1.30010.1.301

Configuration

📅 Schedule: (UTC)

  • Branch creation
    • At any time (no schedule defined)
  • Automerge
    • At any time (no schedule defined)

🚦 Automerge: Enabled.

Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


  • If you want to rebase/retry this PR, check this box

This PR has been generated by Mend Renovate.

@thomhurst thomhurst added dependencies Pull requests that update a dependency file PATCH renovate-bot labels Jun 9, 2026
@thomhurst thomhurst enabled auto-merge (squash) June 9, 2026 17:47

@claude claude Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Routine patch version bump for FSharp.Core (10.1.300 → 10.1.301). Single-line change in Directory.Packages.props — no logic, no API surface, no risk. Looks good to merge.

@codacy-production

Copy link
Copy Markdown

Up to standards ✅

🟢 Issues 0 issues

Results:
0 new issues

View in Codacy

🟢 Metrics 0 complexity

Metric Results
Complexity 0

View in Codacy

NEW Get contextual insights on your PRs based on Codacy's metrics, along with PR and Jira context, without leaving GitHub. Enable AI reviewer
TIP This summary will be updated as you push new changes.

@thomhurst thomhurst merged commit 5007053 into main Jun 9, 2026
14 checks passed
@thomhurst thomhurst deleted the renovate/fsharp.core-10.x branch June 9, 2026 18:17
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 PATCH renovate-bot

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants