Skip to content

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

Open
copybara-service[bot] wants to merge 1 commit into
mainfrom
test_917119228
Open

Fix type safety and typing issues in AndroidEnv components.#320
copybara-service[bot] wants to merge 1 commit into
mainfrom
test_917119228

Conversation

@copybara-service
Copy link
Copy Markdown

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

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 13 times, most recently from e811fda to 2d3b3ab Compare May 18, 2026 20:27
- 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: 917119228
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