Skip to content

[repo-assist] deps: bump Ionide.ProjInfo to 0.75.0 and NUnit3TestAdapter to 6.3.0Β #1276

Description

@github-actions

πŸ€– This PR was created by Repo Assist, an automated AI assistant.

Summary (Task 4 β€” Engineering Investments)

Bundles two small, non-breaking dependency bumps that were already open as individual Dependabot PRs, applying them directly to Directory.Packages.props (no workflow files touched, so this does not hit the push-protection issue that has blocked prior deps bundles, e.g. #1240):

Package From To Original Dependabot PR
Ionide.ProjInfo 0.74.2 0.75.0 #1273
NUnit3TestAdapter 6.2.0 6.3.0 #1268

Both are minor version bumps with no breaking changes noted in their release notes (Ionide.ProjInfo 0.75.0 just updates its internal FSharp.Compiler.Service reference; NUnit3TestAdapter 6.3.0 is a routine adapter update).

Maintainers can close #1273 and #1268 after merging this PR.

Test Status

  • βœ… dotnet restore FSharp.Formatting.sln β€” restore succeeded with new package versions.
  • βœ… dotnet build FSharp.Formatting.sln --configuration Release β€” Build succeeded, 0 warnings, 0 errors.
  • βœ… dotnet test tests/fsdocs-tool.Tests/fsdocs-tool.Tests.fsproj --configuration Release --no-build β€” 12/12 passed.
  • βœ… dotnet test tests/FSharp.Markdown.Tests/FSharp.Markdown.Tests.fsproj --configuration Release --no-build β€” 368/368 passed.

Trade-offs

Minimal, surgical change limited to two package versions plus a RELEASE_NOTES entry; no production code changes.

Generated by Repo Assist


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
  • Directory.Packages.props

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

# Create a new branch
git checkout -b repo-assist/deps-bump-projinfo-nunit-20260903-d2883a83e7a6763a main

# Apply the patch (--3way handles cross-repo patches)
git am --3way /tmp/agent-33699124048/aw-repo-assist-deps-bump-projinfo-nunit-20260903.patch

# Push the branch and create the pull request
git push origin repo-assist/deps-bump-projinfo-nunit-20260903-d2883a83e7a6763a
gh pr create --title '[repo-assist] deps: bump Ionide.ProjInfo to 0.75.0 and NUnit3TestAdapter to 6.3.0' --base main --head repo-assist/deps-bump-projinfo-nunit-20260903-d2883a83e7a6763a --repo fsprojects/FSharp.Formatting

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

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions