8000 Modernize `@jaxtyped` code by copybara-service[bot] · Pull Request #1015 · google/vizier · GitHub
[go: up one dir, main page]

Skip to content

Modernize @jaxtyped code - #1015

Merged
copybara-service[bot] merged 1 commit into
mainfrom
test_590708836
Dec 13, 2023
Merged

copybara-service[bot] merged 1 commit into
mainfrom
test_590708836

Conversation

@copybara-service
Copy link
Copy Markdown

Modernize @jaxtyped code

@copybara-service
copybara-service Bot force-pushed the test_590708836 branch 2 times, most recently from e64328f to ac6043a Compare December 13, 2023 22:38
PiperOrigin-RevId: 590717153
@copybara-service
copybara-service Bot merged commit f7e79e1 into main Dec 13, 2023
@copybara-service
copybara-service Bot deleted the test_590708836 branch December 13, 2023 22:43
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

0