[Repo Assist] ci: update setup-dotnet v3→v4 and use 8.0.x patch channel

[github-actions]

🤖 This is an automated PR from Repo Assist.

Two minor CI improvements to dotnet-core.yml:

Changes

actions/setup-dotnet@v3 → @v4

v3 of the official setup-dotnet action is deprecated and no longer receives updates. v4 is the current stable release and is the recommended version.

dotnet-version: 8.0.100 → 8.0.x

The pinned version 8.0.100 is the very first .NET 8 release (from November 2023). Using 8.0.x tells the action to always install the latest .NET 8.0 patch release, automatically picking up security fixes and bug fixes without needing manual bumps each release cycle.

Note: the global.json already uses "rollForward": "latestMinor" which allows the local toolchain to roll forward, so this aligns the CI behaviour with the local development policy.

Test Status

This change only touches the CI configuration file — no source code or tests are modified. The change will take effect on the next triggered CI run. The 8.0.x wildcard is supported by actions/setup-dotnet and resolves to the latest available patch at workflow execution time.

Generated by Repo Assist · ◷

To install this agentic workflow, run

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

---

Warning

🛡️ Protected Files — Push Permission Denied

This was originally intended as a pull request, but the patch modifies protected files: .github/workflows/dotnet-core.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. A human must create the pull request manually.

To create a pull request with the changes:

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

# Create a new branch
git checkout -b repo-assist/eng-update-ci-actions-2026-03-11-35f44721bca77f26 master

# Apply the patch (--3way handles cross-repo patches)
git am --3way /tmp/agent-artifacts-22932102392/aw-repo-assist-eng-update-ci-actions-2026-03-11.patch

# Push the branch and create the pull request
git push origin repo-assist/eng-update-ci-actions-2026-03-11-35f44721bca77f26
gh pr create --title '[Repo Assist] ci: update setup-dotnet v3→v4 and use 8.0.x patch channel' --base master --head repo-assist/eng-update-ci-actions-2026-03-11-35f44721bca77f26 --repo fsprojects/FSharp.Data.SqlClient