Replace halo spinner with rich (#2086)

* Replace halo spinner with rich

* remove Halo dependency

* Omit halo from mypy.ini

---------

Co-authored-by: Soufiane Fariss <soufiane.fariss@um5s.net.ma>
This commit is contained in:
Fariss
2024-05-28 09:58:32 +02:00
committed by GitHub
parent 7da3ef89ca
commit abaabae164
4 changed files with 9 additions and 7 deletions

View File

@@ -1,8 +1,5 @@
[mypy]
[mypy-halo.*]
ignore_missing_imports = True
[mypy-tqdm.*]
ignore_missing_imports = True