Skip to content

Late interaction type hints#461

Merged
joein merged 3 commits into
mainfrom
late-interaction-type-hints
Feb 4, 2025
Merged

Late interaction type hints#461
joein merged 3 commits into
mainfrom
late-interaction-type-hints

Conversation

@hh-space-invader

Copy link
Copy Markdown
Contributor

All Submissions:

  • Have you followed the guidelines in our Contributing document?
  • Have you checked to ensure there aren't other open Pull Requests for the same update/change?

New Feature Submissions:

  • Does your submission pass the existing tests?
  • Have you added tests for your feature?
  • Have you installed pre-commit with pip3 install pre-commit and set up hooks with pre-commit install?

New models submission:

  • Have you added an explanation of why it's important to include this model?
  • Have you added tests for the new model? Were canonical values for tests computed via the original model?
  • Have you added the code snippet for how canonical values were computed?
  • Have you successfully ran tests with your changes locally?

@joein joein force-pushed the late-interaction-type-hints branch from ed70279 to 176da08 Compare February 4, 2025 16:08
@joein joein merged commit b08febb into main Feb 4, 2025
@joein joein deleted the late-interaction-type-hints branch February 4, 2025 16:14
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.

2 participants