8000 Allow arms to have alphabetical names. by copybara-service[bot] · Pull Request #1190 · google/vizier · GitHub
[go: up one dir, main page]

Skip to content

Allow arms to have alphabetical names. - #1190

Merged
copybara-service[bot] merged 1 commit into
mainfrom
test_693497475
Nov 6, 2024
Merged

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

Conversation

@copybara-service
Copy link
Copy Markdown

Allow arms to have alphabetical names.

@copybara-service
copybara-service Bot force-pushed the test_693497475 branch 10 times, most recently from 3243a4c to 6aa8fbe Compare November 6, 2024 00:22
< 9803 div class="pr-1 d-md-inline-block d-none">
PiperOrigin-RevId: 693518222
@copybara-service
copybara-service Bot merged commit 5cb2392 into main Nov 6, 2024
@copybara-service
copybara-service Bot deleted the test_693497475 branch November 6, 2024 00:38
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