Skip to content

Conversation

@mfornet
Copy link

@mfornet mfornet commented Nov 26, 2025

Description

Minor typing improvement.

for agent in env.agent_iter(): ...

Now agent will be properly typed as AgentId. Address my main (initial) motivation for proposing #1318

Type of change

Please delete options that are not relevant.

  • Bug fix (non-breaking change which fixes an issue)

Screenshots

Before & After
Screenshot 2025-11-26 at 23 21 47
Screenshot 2025-11-26 at 23 22 14

Checklist:

  • I have run the pre-commit checks with pre-commit run --all-files (see CONTRIBUTING.md instructions to set it up)
  • I have run pytest -v and no errors are present. (only the same tests that fail on CI, fail locally)
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • I solved any possible warnings that pytest -v has generated that are related to my code to the best of my knowledge.
  • I have added tests that prove my fix is effective or that my feature works (See screenshots)
  • New and existing unit tests pass locally with my changes

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