[Repo Assist] CI: update dotnet-version to 10.0.x to match global.json

[github-actions]

🤖 This PR was created by Repo Assist, an automated AI assistant.

Summary

Updates pull-request.yml and publish.yml to explicitly install .NET 10.0.x, matching the SDK version specified in global.json (10.0.100, rollForward: minor).

Problem

Both CI workflows specified dotnet-version: '8.0.x' in the actions/setup-dotnet step, while global.json requires SDK 10.0.100. CI still passed because GitHub-hosted ubuntu-latest runners pre-install .NET 10, but:

1. Explicit is better than implicit — relying on runner pre-installs is fragile; the declared SDK version should match what the project requires.
2. Contributors may be confused — reading the YAML suggests the project builds on .NET 8, but it actually requires .NET 10.
3. Runner images change — if a future runner image removes .NET 10 or changes pre-installed versions, CI would silently break.

Changes

• .github/workflows/pull-request.yml — dotnet-version: '8.0.x' → '10.0.x'
• .github/workflows/publish.yml — dotnet-version: '8.0.x' → '10.0.x'

Test Status

✅ Build: succeeded (0 errors, pre-existing warnings only)
✅ .NET tests: 411/411 passed (no code changes — CI config only)

---

Warning

Protected Files — Push Permission Denied

This was originally intended as a pull request, but the patch modifies protected files. A human must create the pull request manually.

Protected files

• .github/workflows/publish.yml

• .github/workflows/pull-request.yml

The push was rejected because GitHub Actions does not have workflows permission to push these changes, and is never allowed to make such changes, or other authorization being used does not have this permission.

Create the pull request manually

# Download the patch from the workflow run
gh run download 24540750025 -n agent -D /tmp/agent-24540750025

# Create a new branch
git checkout -b repo-assist/eng-ci-dotnet10-20260417-992c32b013e90ad8 main

# Apply the patch (--3way handles cross-repo patches)
git am --3way /tmp/agent-24540750025/aw-repo-assist-eng-ci-dotnet10-20260417.patch

# Push the branch and create the pull request
git push origin repo-assist/eng-ci-dotnet10-20260417-992c32b013e90ad8
gh pr create --title '[Repo Assist] CI: update dotnet-version to 10.0.x to match global.json' --base main --head repo-assist/eng-ci-dotnet10-20260417-992c32b013e90ad8 --repo fsprojects/FSharp.Control.AsyncSeq

Generated by 🌈 Repo Assist, see workflow run. Learn more.

To install this agentic workflow, run

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