Skip to content

Remove all trailing whitespaces - #20355

Open
xperiandri wants to merge 1 commit into
dotnet:mainfrom
xperiandri:remove-trailing-whitespace
Open

Remove all trailing whitespaces#20355
xperiandri wants to merge 1 commit into
dotnet:mainfrom
xperiandri:remove-trailing-whitespace

Conversation

@xperiandri

Copy link
Copy Markdown
Contributor

Description

Removed all trailing whitespaces.
No functional changes

@github-actions

github-actions Bot commented Aug 25, 2026

Copy link
Copy Markdown
Contributor

⚠️ Release notes required, but author opted out

Warning

Author opted out of release notes, check is disabled for this pull request.
cc @dotnet/fsharp-team-msft

@github-actions github-actions Bot added the ⚠️ Affects-Build-Infra Tooling check: PR touches build infrastructure label Aug 25, 2026
@github-actions

Copy link
Copy Markdown
Contributor

🔍 Tooling Safety Check — Affects-Build-Infra
Affects-Build-Infra: modifies eng/Build.ps1 (build script)

Generated by PR Tooling Safety Check · opus46 4.6M ·

@nojaf

nojaf commented Aug 25, 2026

Copy link
Copy Markdown
Contributor

Would probably be best to have an entry in https://github.com/dotnet/fsharp/blob/main/.git-blame-ignore-revs as well for this.

@xperiandri
xperiandri force-pushed the remove-trailing-whitespace branch from 0301a07 to d8e6673 Compare August 26, 2026 17:08

@T-Gro T-Gro left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Approved but pls include the ignore from git blame.

Also CI is failing.

@github-project-automation github-project-automation Bot moved this from New to In Progress in F# Compiler and Tooling Aug 27, 2026
@T-Gro T-Gro added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Aug 27, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

⚠️ Affects-Build-Infra Tooling check: PR touches build infrastructure NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes

Projects

Status: In Progress

Development

Successfully merging this pull request may close these issues.

3 participants