Skip to content

Merge pull request #257 from google-deepmind:dependabot/github_action… #80

Merge pull request #257 from google-deepmind:dependabot/github_action…

Merge pull request #257 from google-deepmind:dependabot/github_action… #80

Triggered via push July 15, 2024 12:42
Status Success
Total duration 6m 22s
Artifacts
Typecheck Melting Pot
6m 11s
Typecheck Melting Pot
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Typecheck Melting Pot
Cache save failed.