Skip to content

Replace # pytype: disable suppressions with # pyrefly: ignore - #807

Merged
copybara-service[bot] merged 1 commit into
masterfrom
test_993649500
Oct 5, 2026
Merged

copybara-service[bot] merged 1 commit into
masterfrom
test_993649500

Conversation

@copybara-service

Copy link
Copy Markdown

Replace # pytype: disable suppressions with # pyrefly: ignore

@copybara-service
copybara-service Bot force-pushed the test_993649500 branch 2 times, most recently from 413b6ab to 4424679 Compare October 5, 2026 14:50
@copybara-service
copybara-service Bot merged commit 56021b7 into master Oct 5, 2026
12 checks passed
@copybara-service
copybara-service Bot deleted the test_993649500 branch October 5, 2026 14:54

This branch was successfully deployed

1 active deployment
github-pages — 56021b77 Deployed Oct 5, 2026 by github-pages[bot] via deploy #285
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