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
Update deps and release v0.13.0 (#102)
* checkpoint work
* Update project dependencies and prepare for new release.
This updates the project dependencies to the latest set of
stuff older than 30 days, and updates uv to not install
packages released within the past 30 days by default.
Also fixes a minor bug in the //run script.
* Bump to version 0.13.0
v0.12.1 - Fix#94 (bad indentation for custom encoders)
Issue #94 was filed to address a case where if you were using
a custom subclass of json5.JSON5Encoder, the default dumps()
indentation logic would indent a custom value too much.