ruff/playground/ty
David Peter d51f6940fe
[ty] Playground: Better default settings (#18316)
## Summary

The playground default settings set the `division-by-zero` rule severity
to `error`. This slightly confusing because `division-by-zero` is now
disabled by default. I am assuming that we have a `rules` section in
there to make it easier for users to customize those settings (in
addition to what the JSON schema gives us).

Here, I'm proposing a different default rule-set (`"undefined-reveal":
"ignore"`) that I would personally find more helpful for the playground,
since we're using it so frequently for MREs that often involve some
`reveal_type` calls.
2025-05-26 14:14:23 +02:00
..
public Update favicon and URL for playground (#17860) 2025-05-06 10:51:45 +02:00
src [ty] Playground: Better default settings (#18316) 2025-05-26 14:14:23 +02:00
index.html Update favicon and URL for playground (#17860) 2025-05-06 10:51:45 +02:00
package.json Update NPM Development dependencies (#18187) 2025-05-19 08:57:45 +02:00
vite.config.ts Rename Red Knot (#17820) 2025-05-03 19:49:15 +02:00