Skip to content

Conversation

@nickkolok
Copy link
Contributor

I'm totally not sure if this is useful or just pollutes the history.

If you prefer, I can split this into 28 commits or even 28 separate PR's

@HuggingFaceDocBuilderDev
Copy link

HuggingFaceDocBuilderDev commented Feb 4, 2023

The documentation is not available anymore as the PR was closed or merged.

Copy link
Member

@pcuenca pcuenca left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, thanks!

@pcuenca pcuenca changed the title Fix a typo: bfloa16 -> bloat16 Fix a typo: bfloa16 -> bfloat16 Feb 6, 2023
@pcuenca pcuenca merged commit 3a0d3da into huggingface:main Feb 6, 2023
yoonseokjin pushed a commit to yoonseokjin/diffusers that referenced this pull request Dec 25, 2023
AmericanPresidentJimmyCarter pushed a commit to AmericanPresidentJimmyCarter/diffusers that referenced this pull request Apr 26, 2024
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