Skip to content

Seed key v3 - #1240

Merged
copybara-service[bot] merged 3 commits into
google-deepmind:mainfrom
Tomas542:seed_key
Apr 14, 2025
Merged

Seed key v3#1240
copybara-service[bot] merged 3 commits into
google-deepmind:mainfrom
Tomas542:seed_key

Conversation

@Tomas542

Copy link
Copy Markdown
Contributor

previous #1167

@Tomas542 Tomas542 mentioned this pull request Mar 13, 2025
@Tomas542

Copy link
Copy Markdown
Contributor Author

What could be ERROR: Unknown target name: "numpy.bool".

@vroulet vroulet left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you @Tomas542 ! I took care of the failing tests, we'll merge now.

@copybara-service
copybara-service Bot merged commit 7f8a64d into google-deepmind:main Apr 14, 2025
@carlosgmartin

Copy link
Copy Markdown
Contributor

What happened here?

@rdyro

rdyro commented Apr 15, 2025

Copy link
Copy Markdown
Collaborator

We're still attempting to merge these changes internally with some trouble.

copybara-service Bot pushed a commit that referenced this pull request Apr 16, 2025
PiperOrigin-RevId: 748434720
copybara-service Bot pushed a commit that referenced this pull request Apr 16, 2025
PiperOrigin-RevId: 748434720
copybara-service Bot pushed a commit that referenced this pull request Apr 16, 2025
PiperOrigin-RevId: 748434720
copybara-service Bot pushed a commit that referenced this pull request Apr 16, 2025
PiperOrigin-RevId: 748434720
copybara-service Bot pushed a commit that referenced this pull request Apr 17, 2025
PiperOrigin-RevId: 748434720
copybara-service Bot pushed a commit that referenced this pull request Apr 18, 2025
PiperOrigin-RevId: 748434720
copybara-service Bot pushed a commit that referenced this pull request Apr 18, 2025
PiperOrigin-RevId: 748434720
copybara-service Bot pushed a commit that referenced this pull request Apr 18, 2025
PiperOrigin-RevId: 749052155
copybara-service Bot pushed a commit that referenced this pull request Apr 18, 2025
PiperOrigin-RevId: 749082591
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.

4 participants