You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Failed to update the PyPI package because hatch publish failed.
dist/lean_dojo-2.2.0-py3-none-any.whl ... failed
Error uploading to repository: https://upload.pypi.org/legacy/ - Client error '400 license-file introduced in metadata version 2.4, not 2.3. See https://packaging.python.org/specifications/core-metadata for more information.' for url 'https://upload.pypi.org/legacy/'
For more information check: https://developer.mozilla.org/en-US/docs/Web/HTTP/Status/400
Will try again later. Meanwhile, please pip install git+https://github.com/lean-dojo/LeanDojo if you want to install the latest version of LeanDojo.
The text was updated successfully, but these errors were encountered:
Failed to update the PyPI package because
hatch publish
failed.Will try again later. Meanwhile, please
pip install git+https://github.com/lean-dojo/LeanDojo
if you want to install the latest version of LeanDojo.The text was updated successfully, but these errors were encountered: