Reformat everything with ormolu, add workflow to automatically fix formatting in the future#1127
Merged
yaxu merged 12 commits intodevfrom run-ormoluJan 27, 2025
+10,957-9,114
Commits
Commits on Jan 27, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}