We have prettier (and thus editors detect and run it), but what we check in CI is different#2368
Merged
NullVoxPopuli merged 7 commits intomasterfrom Jan 29, 2026
Merged
Commits
Commits on Jan 29, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed