[github-actions]

Caution

Protected files were modified in this change.
This pull request is in request-review mode and requires explicit human scrutiny before merge.

Protected files: .config/dotnet-tools.json

🤖 Repo Assist here, an automated AI assistant.

Bundles the two open Dependabot NuGet tool bumps into one change:

• paket 11.0.0 → 11.0.1 (Bump paket from 11.0.0 to 11.0.1 #517)
• fantomas 8.0.8 → 8.0.10 (Bump fantomas from 8.0.8 to 8.0.10 #516)

The three GitHub Actions bumps (#513, #514, #515) only touch repo-assist.lock.yml, a compiled workflow that should be regenerated via gh aw compile, so I left them alone.

Test Status

• dotnet tool restore succeeded with the new versions.
• dotnet fantomas --check src tests build.fsx with 8.0.10: 59 files formatted, 1 reported (src/Common/AssemblyInfo.fs). It is a generated file that is not tracked in git, so I think this is unrelated to the bump.
• I did not run the full build or test suite, as only tool versions changed.

Maintainers can close #516 and #517 after merging.

Warning

Firewall blocked 2 domains

The following domains were blocked by the firewall during workflow execution:

• api.nuget.org
• dc.services.visualstudio.com

To allow these domains, add them to the network.allowed list in your workflow frontmatter:

network:
  allowed:
    - defaults
    - "api.nuget.org"
    - "dc.services.visualstudio.com"

See Network Configuration for more information.

Generated by 🌈 Repo Assist, see workflow run. Learn more.
_{Comment /repo-assist to run again}

_{Add this agentic workflow to your repo}

To install this agentic workflow, run

gh aw add githubnext/agentics/workflows/repo-assist.md@b4e175bab6674279e0fe158f7dc877b77bc9d92f

[github-actions]

Protected files were modified in this pull request and require manual scrutiny before merge.

Please verify that each protected-file change is intentional, policy-compliant, and safe:

• Protected files: .config/dotnet-tools.json

[Copilot]

🔵 Needs a closer look

The protected tool manifest change is flagged for explicit human scrutiny before merge.

No open issues 🎉

What changed in this PR

Bundles the Paket and Fantomas updates from #517 and #516 into the repository’s local .NET tool manifest.

Changes:

• Updates Paket from 11.0.0 to 11.0.1.
• Updates Fantomas from 8.0.8 to 8.0.10.
• Leaves GitHub Actions updates unchanged.

File	Description
.config/​dotnet-tools.json	Updates the Paket and Fantomas version pins.

_{Review effort: Balanced}