| 12 May 2022 |
|  __________________ joined the room. | 02:45:12 |
|  DarthJarJar joined the room. | 21:11:10 |
| 13 May 2022 |
|  Costas joined the room. | 07:13:39 |
|  HeavyTed joined the room. | 07:40:59 |
 aartigao | Hi! According to the documentation:
Whereas built-in integrations are not fully developed yet, a built-in build tool integration for sbt is planned for the next release. These integrations will help users benefit from the speed and reliability of a more modern Scala toolchain with minimum interference in their current workflow.
Is this still valid? I mean, is there any ongoing work to integrate SBT? | 08:21:42 |
|  JS joined the room. | 16:17:22 |
|  RA joined the room. | 16:56:07 |
|  jaackotorus joined the room. | 18:24:20 |
|  Web dev joined the room. | 19:28:31 |
|  mrmonoid joined the room. | 22:02:11 |
| 14 May 2022 |
|  k3rnL joined the room. | 21:39:29 |
| 15 May 2022 |
|  Graf_Kraut joined the room. | 14:15:39 |
|  sd1700092 joined the room. | 23:02:44 |
| 16 May 2022 |
|  kurro joined the room. | 09:55:29 |
|  @idahotokens:matrix.org joined the room. | 11:23:27 |
| @idahotokens:matrix.org left the room. | 16:34:09 |
|  Glorfindel joined the room. | 17:35:33 |
|  davidf changed their display name from davidf to davidf#6976. | 18:42:07 |
| davidf changed their display name from davidf#6976 to davidf. | 18:42:19 |
|  tom_br-au joined the room. | 19:54:28 |
| tom_br-au changed their display name from tom_br-au to tom_br-au#8650. | 20:48:29 |
| tom_br-au changed their display name from tom_br-au#8650 to tom_br-au. | 20:48:40 |
| 17 May 2022 |
| aartigao | Which is the proper way to set property bloop.compilation.seconds-before-disconnection when executing a command like bloop compile myproject? | 04:00:57 |
|  4B4A4N4 joined the room. | 04:28:05 |
|  nefilim joined the room. | 15:39:56 |
|  Majestic joined the room. | 16:48:06 |
|  oschrenk joined the room. | 17:09:12 |
|  Felix Dietze joined the room. | 18:00:19 |
| 18 May 2022 |
|  sake joined the room. | 14:20:17 |
|  yoitsnadia joined the room. | 15:06:20 |
