Skip to content

CI: use the correct version of dotnet-sdk everywhere#208

Merged
ForNeVeR merged 1 commit intomainfrom
ci/dotnet
Feb 12, 2026
Merged

CI: use the correct version of dotnet-sdk everywhere#208
ForNeVeR merged 1 commit intomainfrom
ci/dotnet

Conversation

@ForNeVeR
Copy link
Owner

No description provided.

@ForNeVeR ForNeVeR requested a review from Copilot February 12, 2026 21:39
@ForNeVeR ForNeVeR self-assigned this Feb 12, 2026
@ForNeVeR ForNeVeR changed the title CI: use the correvt version of dotnet-sdk everywhere CI: use the correct version of dotnet-sdk everywhere Feb 12, 2026
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR standardizes .NET SDK configuration across all GitHub Actions workflows by utilizing the dotNetJob helper function instead of manually configuring jobs. The PR title contains a typo ("correvt" should be "correct"), but the actual changes are sound.

Changes:

  • Refactored the "nuget" and "publish-docs" jobs in the F# workflow generator to use dotNetJob helper instead of manual job configuration
  • Removed hardcoded .NET SDK version "8.x" from the docs workflow, now relying on global.json (version 10.0.102)
  • Added consistent environment variables, NuGet package caching, and SDK setup across all .NET jobs

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated no comments.

File Description
scripts/github-actions.fsx Changed "nuget" and "publish-docs" jobs to use dotNetJob helper, removing manual checkout and SDK setup
.github/workflows/release.yml Generated workflow now includes standardized env vars, SDK setup without explicit version, and NuGet caching
.github/workflows/docs.yml Generated workflow now uses SDK version from global.json instead of hardcoded "8.x", adds NuGet caching

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@ForNeVeR ForNeVeR merged commit ec54f80 into main Feb 12, 2026
10 checks passed
@ForNeVeR ForNeVeR deleted the ci/dotnet branch February 12, 2026 21:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant