Skip to content

Migrate to CommandLineOptions to a record and AutoBuilder#1240

Merged
copybara-service[bot] merged 1 commit intomasterfrom
test_744128510
Apr 8, 2025
Merged

Migrate to CommandLineOptions to a record and AutoBuilder#1240
copybara-service[bot] merged 1 commit intomasterfrom
test_744128510

Conversation

@copybara-service
Copy link
Copy Markdown

Migrate to CommandLineOptions to a record and AutoBuilder

This allows the CheckReturnValue analysis to tell that it's a builder and ignore the results of builder methods.

This allows the CheckReturnValue analysis to tell that it's a builder and ignore the results of builder methods.

PiperOrigin-RevId: 745341492
@copybara-service copybara-service bot merged commit db2713a into master Apr 8, 2025
@copybara-service copybara-service bot deleted the test_744128510 branch April 8, 2025 23:49
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