Skip to content

Conversation

@nstarman
Copy link
Contributor

No description provided.

Signed-off-by: nstarman <nstarman@users.noreply.github.com>
@nstarman
Copy link
Contributor Author

RTD failure is unrelated. See #195 for a fix.

@coveralls
Copy link

Pull Request Test Coverage Report for Build 19619429907

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 99.613%

Totals Coverage Status
Change from base Build 18974187178: 0.0%
Covered Lines: 1287
Relevant Lines: 1292

💛 - Coveralls

@wesselb
Copy link
Member

wesselb commented Nov 24, 2025

@nstarman Agree that the failure looks unrelated! Happy to merge if you're happy to merge too. :)

@nstarman nstarman marked this pull request as ready for review November 25, 2025 03:47
@nstarman
Copy link
Contributor Author

@wesselb SGTM!

@wesselb wesselb merged commit fd08635 into beartype:master Nov 25, 2025
17 of 18 checks passed
@nstarman nstarman deleted the typing_extensions branch November 25, 2025 18:54
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.

3 participants