Skip to content

Comments

Add batch_size/0 and batch_size_fun/0 types#361

Merged
josevalim merged 1 commit intomainfrom
al/more-types
Jun 6, 2025
Merged

Add batch_size/0 and batch_size_fun/0 types#361
josevalim merged 1 commit intomainfrom
al/more-types

Conversation

@whatyouhide
Copy link
Collaborator

No description provided.

@coveralls
Copy link

Pull Request Test Coverage Report for Build 3be2f986a838c30f5b6ab91ad05662aad23ada16-PR-361

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall first build on al/more-types at 93.265%

Totals Coverage Status
Change from base Build 7977502abbf3c0b06ea1fbbae415dff3932fb796: 93.3%
Covered Lines: 637
Relevant Lines: 683

💛 - Coveralls

@josevalim josevalim merged commit 136bea6 into main Jun 6, 2025
1 of 2 checks passed
@josevalim
Copy link
Member

💚 💙 💜 💛 ❤️

@whatyouhide whatyouhide deleted the al/more-types branch June 6, 2025 08: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.

3 participants