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
Updates the GitHub Actions used in pull-request.yml and publish.yml to their latest major versions:
actions/checkout v4 → v7.0.1
actions/setup-dotnet v4.3.1 → v6.0.0
actions/setup-node v4 → v7.0.0
These are the same actions used elsewhere in the repo (e.g. the repo-assist agentic workflow already pins actions/checkout@v7.0.1), so this keeps the CI/publish workflows consistent and current.
Test Status
dotnet build FSharp.Control.AsyncSeq.sln -c Release — succeeded, 0 errors (pre-existing warnings unrelated to this change).
dotnet test tests/FSharp.Control.AsyncSeq.Tests -c Release — 486/486 tests passed.
Workflow YAML changes only; no source code was touched, so no behavioral risk beyond the CI runner update itself.
🤖 This PR was created by Repo Assist, an automated AI assistant, as part of scheduled engineering-investment maintenance (Task 4). A human maintainer should review before merging.
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.
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 33539311534 -n agent -D /tmp/agent-33539311534
# Create a new branch
git checkout -b repo-assist/eng-update-ci-actions-20260901-f8a805cae4cbede4 main
# Apply the patch (--3way handles cross-repo patches)
git am --3way /tmp/agent-33539311534/aw-repo-assist-eng-update-ci-actions-20260901.patch
# Push the branch and create the pull request
git push origin repo-assist/eng-update-ci-actions-20260901-f8a805cae4cbede4
gh pr create --title '[repo-assist] Update CI action versions in workflow files' --base main --head repo-assist/eng-update-ci-actions-20260901-f8a805cae4cbede4 --repo fsprojects/FSharp.Control.AsyncSeq
Generated by 🌈 Repo Assist, see workflow run. Learn more. Comment /repo-assist to run again
Add this agentic workflow to your repo
To install this agentic workflow, run
gh aw add githubnext/agentics/workflows/repo-assist.md@ae8d551f07c7ed7619f8c58c7bb4c3ac89395d38
Summary
Updates the GitHub Actions used in
pull-request.ymlandpublish.ymlto their latest major versions:actions/checkoutv4 → v7.0.1actions/setup-dotnetv4.3.1 → v6.0.0actions/setup-nodev4 → v7.0.0These are the same actions used elsewhere in the repo (e.g. the repo-assist agentic workflow already pins
actions/checkout@v7.0.1), so this keeps the CI/publish workflows consistent and current.Test Status
dotnet build FSharp.Control.AsyncSeq.sln -c Release— succeeded, 0 errors (pre-existing warnings unrelated to this change).dotnet test tests/FSharp.Control.AsyncSeq.Tests -c Release— 486/486 tests passed.🤖 This PR was created by Repo Assist, an automated AI assistant, as part of scheduled engineering-investment maintenance (Task 4). A human maintainer should review before merging.
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
Add this agentic workflow to your repo
To install this agentic workflow, run