!JjzcHCLEPukevAquAy:matrix.org

com-lihaoyi

1228 Members
4 Servers

Load older messages


SenderMessageTime
26 Nov 2023
@_discord_761367201604173864:t2bot.iolihaoyi 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
@_discord_761367201604173864:t2bot.iolihaoyi 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
@_discord_761367201604173864:t2bot.iolihaoyi 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
@_discord_805534322392039454:t2bot.iopirate_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
@_discord_983557464551202826:t2bot.iokuailelo changed their display name from cyz1901 to kuailelo.05:36:14
@_discord_632718091113070603:t2bot.iojatcwang 13:10:46
@_discord_431351150072168478:t2bot.ioblast_hardcheese joined the room.17:10:59
@_discord_320608324800348171:t2bot.iojonathanmuller joined the room.23:07:50
28 Nov 2023
@_discord_1100974179353899010:t2bot.ioysthakur changed their display name from ysthakur#0 to ysthakur.02:07:12
@_discord_501779674796654613:t2bot.ioBen joined the room.10:46:02
@_discord_305362010374406144:t2bot.iomarouan28 changed their display name from marouan28#0 to marouan28.12:18:27
@_discord_1027577697167228929:t2bot.ioweili96 joined the room.14:51:23
@_discord_153577795698556928:t2bot.iorymi joined the room.19:12:19
@_discord_902417901972258868:t2bot.iokagaku2340 joined the room.20:37:26
@_discord_163435237924143104:t2bot.iomcpqndq joined the room.21:17:34
29 Nov 2023
@_discord_618547546943389697:t2bot.ioh.r.f joined the room.03:36:43
@_discord_353567891054133269:t2bot.iocarlcaulkett changed their display name from carlcaulkett#0 to carlcaulkett.19:14:46
@_discord_711364897921040415:t2bot.iosumew changed their display name from sumé to sumew.21:57:48
30 Nov 2023
@_discord_749905882275512341:t2bot.iohigherkindedtype joined the room.05:40:02
@_discord_736256129323106384:t2bot.iovazand joined the room.08:41:12
@_discord_340129472143425536:t2bot.iotanishiking changed their profile picture.23:11:42
1 Dec 2023
@_discord_692495802786119812:t2bot.ioThomasE joined the room.03:28:24
@_discord_245562822245744642:t2bot.iojankoekenpan joined the room.09:32:14
@_discord_258015310513176587:t2bot.iodcm360 joined the room.10:29:53
@_discord_649346509363609617:t2bot.iotwo_left_eyes joined the room.16:06:22
@_discord_711856393879027833:t2bot.ionikiforo.me joined the room.17:26:40
@_discord_762335371244732426:t2bot.iolapeno01 joined the room.20:34:43
@_discord_529726462601723924:t2bot.ioLéana (Ping me plz) changed their display name from leana8959 to Léana (Ping me plz).22:45:54
2 Dec 2023
@_discord_89507544619315200:t2bot.ioderya changed their profile picture.00:07:36
@_discord_997946109513179246:t2bot.iobrinkleyc joined the room.02:50:04

There are no newer messages yet.


Back to Room ListRoom Version: 9