accelerate
Revert "New CI Runners"
#2172
Merged
Overview
Commits
1
Changes
View On GitHub

Revert "New CI Runners" #2172

muellerzr merged 1 commit into main from revert-2087-new-CI
muellerzr
muellerzr Revert "New CI Runners (#2087)"
8e29bae4
muellerzr muellerzr merged 2b25b8b3 into main 2 years ago
muellerzr muellerzr deleted the revert-2087-new-CI branch 2 years ago
HuggingFaceDocBuilderDev

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum