Skip to content

Remove verbose syntax in pickling code - #18372

Merged
psfinaki merged 2 commits into
dotnet:mainfrom
psfinaki:pickle-2
Mar 12, 2025
Merged

Remove verbose syntax in pickling code#18372
psfinaki merged 2 commits into
dotnet:mainfrom
psfinaki:pickle-2

Conversation

@psfinaki

Copy link
Copy Markdown
Contributor

This was also very annoying.

@github-actions

github-actionsBot commented Mar 10, 2025

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

@psfinakipsfinaki added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Mar 10, 2025
@psfinaki
psfinaki marked this pull request as ready for review March 10, 2025 15:29
@psfinaki
psfinaki requested a review from a team as a code ownerMarch 10, 2025 15:29
@psfinaki

Copy link
Copy Markdown
ContributorAuthor

/azp run

@azure-pipelines

Copy link
Copy Markdown
Azure Pipelines successfully started running 2 pipeline(s).

@psfinaki
psfinaki enabled auto-merge (squash) March 10, 2025 18:25
@github-project-automationgithub-project-automationBot moved this from New to In Progress in F# Compiler and ToolingMar 12, 2025
@psfinaki
psfinaki merged commit 1b5e389 into dotnet:mainMar 12, 2025
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

NO_RELEASE_NOTESLabel for pull requests which signals, that user opted-out of providing release notes

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants

@psfinaki@abonie@T-Gro