You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
🤖 This is an automated pull request from Repo Assist, an AI assistant.
Summary
The PR CI (test.yaml) already tested three configurations:
Configuration
OS
Release
Windows
Debug
Windows
Release
Linux
This PR adds the missing fourth quadrant — Linux Debug — to complete the matrix:
Configuration
Windows
Linux
Release
✅ existing
✅ existing
Debug
✅ existing
✅ new
Why Linux Debug matters
Release and Debug configurations differ in F# tail-call optimisation — <Tailcalls>True</Tailcalls> is only set for the Release build in the library .fsproj. Running debug on Linux catches cases where code behaves differently without TCO on a non-Windows platform (thread scheduling, OS-level async behaviour, etc.).
What changed
.github/workflows/test.yaml: adds test-debug-linux job, mirroring test-release-linux but with -c Debug. Uploads results as test-results-debug-linux artifact.
.github/workflows/test-report.yaml: adds test-report-debug-linux job to surface results inline in PR checks via dorny/test-reporter.
Test Status
CI change only — no source code modified. The new job mirrors the existing test-release-linux job structure exactly, changing only the configuration flag (Debug instead of Release) and artifact names.
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 24754687823 -n agent -D /tmp/agent-24754687823
# Create a new branch
git checkout -b repo-assist/eng-linux-debug-ci-20260422-afac967a5786226f main
# Apply the patch (--3way handles cross-repo patches)
git am --3way /tmp/agent-24754687823/aw-repo-assist-eng-linux-debug-ci-20260422.patch
# Push the branch and create the pull request
git push origin repo-assist/eng-linux-debug-ci-20260422-afac967a5786226f
gh pr create --title '[Repo Assist] eng: add Linux debug test job to PR CI for complete OS × configuration matrix' --base main --head repo-assist/eng-linux-debug-ci-20260422-afac967a5786226f --repo fsprojects/FSharp.Control.TaskSeq
🤖 This is an automated pull request from Repo Assist, an AI assistant.
Summary
The PR CI (
test.yaml) already tested three configurations:This PR adds the missing fourth quadrant — Linux Debug — to complete the matrix:
Why Linux Debug matters
Release and Debug configurations differ in F# tail-call optimisation —
<Tailcalls>True</Tailcalls>is only set for the Release build in the library.fsproj. Running debug on Linux catches cases where code behaves differently without TCO on a non-Windows platform (thread scheduling, OS-level async behaviour, etc.).What changed
.github/workflows/test.yaml: addstest-debug-linuxjob, mirroringtest-release-linuxbut with-c Debug. Uploads results astest-results-debug-linuxartifact..github/workflows/test-report.yaml: addstest-report-debug-linuxjob to surface results inline in PR checks viadorny/test-reporter.Test Status
CI change only — no source code modified. The new job mirrors the existing
test-release-linuxjob structure exactly, changing only the configuration flag (Debuginstead ofRelease) and artifact names.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
Create the pull request manually