New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Revert "New CI Runners" #2172

Merged

muellerzr merged 1 commit into main from revert-2087-new-CI

Nov 20, 2023

Collaborator

muellerzr commented Nov 20, 2023

Reverts #2087


          Revert "New CI Runners (#2087)"

8e29bae

This reverts commit ca300c0.

muellerzr merged commit 2b25b8b into main

14 checks passed

muellerzr deleted the revert-2087-new-CI branch

November 20, 2023 17:06

HuggingFaceDocBuilderDev commented Nov 20, 2023

The docs for this PR live here. All of your documentation changes will be reflected on that endpoint.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment