[repo-assist] eng: bundle GitHub Actions updates + add SideEffects tests for Do and FoldWhile

先检查列出的 workflow 文件，然后检查 TaskSeq.FoldWhile.Tests.fs 和 TaskSeq.Do.Tests.fs 中的 SideEffects 模块。运行 FoldWhile 和 Do 测试过滤器以及 dotnet fantomas . --check；完成后，action 版本已更新，并且全部 73 个测试都通过且格式干净。

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

Summary

Bundles four open Dependabot PRs into a single update, and adds two improvements to the test suite.

GitHub Actions updates (Task 4 — Engineering)

All four Dependabot PRs can be closed after this PR is merged.

Updated files: build.yaml, test.yaml, main.yaml, docs.yaml, publish.yaml, repo-assist.lock.yml.

SideEffects test modules (Task 5 — Coding)

• TaskSeq.FoldWhile.Tests.fs: adds module SideEffects with 3 tests — verifies whole-sequence enumeration including after-effects, and that foldWhile stops enumerating past the halting element (side-effect counter validates no over-pull).
• TaskSeq.Do.Tests.fs: adds module SideEffects with 3 tests — verifies that do/do! side effects fire on enumeration (not before), fire exactly once, and re-fire correctly on re-enumeration.

Test Status

Passed!  - Failed: 0, Passed: 73, Skipped: 0, Total: 73 (FoldWhile + Do filter)

Formatting verified clean (dotnet fantomas . --check exit 0).

Closes nothing — this bundles dependency updates and adds tests.

[!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/build.yaml

• .github/workflows/docs.yaml
• .github/workflows/main.yaml
• .github/workflows/publish.yaml
• .github/workflows/repo-assist.lock.yml
• .github/workflows/test.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.

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

# Create a new branch
git checkout -b repo-assist/eng-bundle-deps-20260731-0cee54bb1e4f11aa main

# Apply the patch (--3way handles cross-repo patches)
git am --3way /tmp/agent-30638716950/aw-repo-assist-eng-bundle-deps-20260731.patch

# Push the branch and create the pull request
git push origin repo-assist/eng-bundle-deps-20260731-0cee54bb1e4f11aa
gh pr create --title '[repo-assist] eng: bundle GitHub Actions updates + add SideEffects tests for Do and FoldWhile' --base main --head repo-assist/eng-bundle-deps-20260731-0cee54bb1e4f11aa --repo fsprojects/FSharp.Control.TaskSeq

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

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