[Repo Assist] eng: add Linux release test job to main.yaml CI

[github-actions]

🤖 This is an automated pull request from Repo Assist, an AI assistant.

Summary

The PR-check workflow (test.yaml) already runs tests on Linux, but the main-branch workflow (main.yaml) only tested on Windows. This gap means Linux-specific failures on merged commits would go undetected until the next PR cycle.

This PR adds a test-release-linux job to main.yaml, mirroring the pattern already used in test.yaml:

• Runs on ubuntu-latest
• Invokes dotnet test directly (since build.cmd is Windows-only)
• Uses dorny/test-reporter@v2 for inline result publishing

The new job is independent of the existing test-release (Windows) and build jobs, so it adds no latency to the existing workflow.

Motivation

After a PR is merged, the main-branch workflow is the only gate confirming the merged state is healthy. Without Linux coverage there, a regression that only manifests on Linux would remain silent until someone opens a new PR. Parity between the PR check workflow and the main-branch workflow avoids this blind spot.

Test Status

• No source-code changes; the test run itself validates this CI addition.
• Format check: N/A (YAML 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/main.yaml

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 24698651691 -n agent -D /tmp/agent-24698651691

# Create a new branch
git checkout -b repo-assist/eng-linux-main-ci-20260421-6a6dfefdd0c15eb3 main

# Apply the patch (--3way handles cross-repo patches)
git am --3way /tmp/agent-24698651691/aw-repo-assist-eng-linux-main-ci-20260421.patch

# Push the branch and create the pull request
git push origin repo-assist/eng-linux-main-ci-20260421-6a6dfefdd0c15eb3
gh pr create --title '[Repo Assist] eng: add Linux release test job to main.yaml CI' --base main --head repo-assist/eng-linux-main-ci-20260421-6a6dfefdd0c15eb3 --repo fsprojects/FSharp.Control.TaskSeq

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

To install this agentic workflow, run

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