ReadMe Script Generation Failing #638
Description
Run python scripts/readme.py to update readme after changes:
$ python scripts/readme.py
C:\Users\Alex\lean-cli\scripts\readme.py:33: PydanticDeprecatedSince20: Support for class-based `config` is deprecated, use ConfigDict instead. Deprecated in Pydantic V2.0 to be removed in V3.0. See Pydantic V2 Migration Guide at https://errors.pydantic.dev/2.12/migration/
class NamedCommand(WrappedBaseModel):
By the way, we could add CI for this. The CI would run the script and check for changes with a git diff. If so, it is a failure.