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

🤖 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.

• .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