PR #23752 Fix is_ninja_available()

Fix is_ninja_available() #23752

sgugger merged 4 commits into huggingface:main from main

Fix is_ninja_available()

b447fb0c

sgugger commented on 2023-05-25

Fix style

cafc3953

Fix doc

3ebfccd4

Fix style

00c415f5

niltok requested a review from

sgugger 3 years ago

sgugger approved these changes on 2023-05-25

sgugger merged f04f549b into main 3 years ago

Reviewers

sgugger

Assignees

No one assigned

Labels

None yet

Milestone

No milestone