26 Nov 2023 |
lihaoyi | for me, I normally just have a PR validation job that yells and you if you don't scalafmt manually before merge, and/or an PR autoformat bot that pushes formatting commits to my PR | 23:56:59 |
lihaoyi | that gives more confidence that the code landing in master is formatted, even if the user didnt run compile localy | 23:57:39 |
27 Nov 2023 |
lihaoyi | but it sounds like formattedSources would be the best way to minimize redundant recomputation if you want to have it done as part of the build | 00:03:04 |
pirate_penguin | We have been doing the reformat + compile for over a year at work without any issues. I had implemented it differently there (because I could not get the above code to work). I'll look into formattedSources , though, that seems interesting. 🙂 | 00:05:51 |
| kuailelo changed their display name from cyz1901 to kuailelo. | 05:36:14 |
| jatcwang | 13:10:46 |
| blast_hardcheese joined the room. | 17:10:59 |
| jonathanmuller joined the room. | 23:07:50 |
28 Nov 2023 |
| ysthakur changed their display name from ysthakur#0 to ysthakur. | 02:07:12 |
| Ben joined the room. | 10:46:02 |
| marouan28 changed their display name from marouan28#0 to marouan28. | 12:18:27 |
| weili96 joined the room. | 14:51:23 |
| rymi joined the room. | 19:12:19 |
| kagaku2340 joined the room. | 20:37:26 |
| mcpqndq joined the room. | 21:17:34 |
29 Nov 2023 |
| h.r.f joined the room. | 03:36:43 |
| carlcaulkett changed their display name from carlcaulkett#0 to carlcaulkett. | 19:14:46 |
| sumew changed their display name from sumé to sumew. | 21:57:48 |
30 Nov 2023 |
| higherkindedtype joined the room. | 05:40:02 |
| vazand joined the room. | 08:41:12 |
| tanishiking changed their profile picture. | 23:11:42 |
1 Dec 2023 |
| ThomasE joined the room. | 03:28:24 |
| jankoekenpan joined the room. | 09:32:14 |
| dcm360 joined the room. | 10:29:53 |
| two_left_eyes joined the room. | 16:06:22 |
| nikiforo.me joined the room. | 17:26:40 |
| lapeno01 joined the room. | 20:34:43 |
| Léana (Ping me plz) changed their display name from leana8959 to Léana (Ping me plz). | 22:45:54 |
2 Dec 2023 |
| derya changed their profile picture. | 00:07:36 |
| brinkleyc joined the room. | 02:50:04 |