Skip to content

Fix type safety and typing issues in AndroidEnv components. - #320

Merged
copybara-service[bot] merged 1 commit into
mainfrom
test_917119228
May 19, 2026
Merged

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

Conversation

@copybara-service

@copybara-service copybara-service Bot commented May 18, 2026 •

Copy link
Copy Markdown

Fix type safety and typing issues in AndroidEnv components.

  • Annotate log_stream filters to ensure strict typing.
  • Refactor specs action_spec construction to use clean, standard loops and assignments, resolving type invariance issues.

@copybara-service copybara-service Bot changed the title Internal change. Fix type safety and typing issues in AndroidEnv components. May 18, 2026
@copybara-service
copybara-service Bot force-pushed the test_917119228 branch 21 times, most recently from 13b99c2 to ffaa2e3 Compare May 19, 2026 21:20
- Annotate log_stream filters to ensure strict typing.
- Refactor specs action_spec construction to use clean, standard loops and assignments, resolving type invariance issues.

PiperOrigin-RevId: 918027968
@copybara-service
copybara-service Bot merged commit 89722fc into main May 19, 2026
1 check passed
@copybara-service
copybara-service Bot deleted the test_917119228 branch May 19, 2026 21:24
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