Skip to content

Rename VJPHiPrimitive to HiPrim. - #355

Merged
copybara-service[bot] merged 1 commit into
mainfrom
test_969954472
Aug 24, 2026
Merged

Rename VJPHiPrimitive to HiPrim.#355
copybara-service[bot] merged 1 commit into
mainfrom
test_969954472

Conversation

@copybara-service

Copy link
Copy Markdown

Rename VJPHiPrimitive to HiPrim.

Also, remove Pyrefly blanket type suppression comments.

Also, remove Pyrefly blanket type suppression comments.

PiperOrigin-RevId: 970096205
@copybara-service
copybara-service Bot merged commit 86a4203 into main Aug 24, 2026
3 of 6 checks passed
@copybara-service
copybara-service Bot deleted the test_969954472 branch August 24, 2026 21:52
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