Closed shortcuts closed 2 years ago
As of today, all of the active DocSearch configs have been migrated to our new infra.
This PR removes the CI and updates the README with correct informations.
Summary
As of today, all of the active DocSearch configs have been migrated to our new infra.
This PR removes the CI and updates the README with correct informations.