1 Mar 2024 |
Tomasz Godzik | I would need to take a look, I was sure we do send the progress | 11:11:54 |
Chris Kipp | I think I explained it in https://github.com/scalameta/metals/issues/6187 | 11:14:42 |
Chris Kipp | but I don't see where we ever send the actual progress. Only when we first create it we do. | 11:15:03 |
Chris Kipp | unless I'm totally misunderstanding how this works | 11:15:22 |
Tomasz Godzik | Och, I saw it working in Vs Code bu I guess even when using progress we still have status on | 11:17:02 |
Tomasz Godzik | We migh not be forwarding the progress the | 11:17:12 |
| gemelen changed their profile picture. | 18:38:59 |
2 Mar 2024 |
| il_totore joined the room. | 11:32:32 |
| energythen joined the room. | 12:18:58 |
3 Mar 2024 |
| realschlawg joined the room. | 17:37:05 |
| billfrasure joined the room. | 17:44:23 |
4 Mar 2024 |
| gspitwq joined the room. | 13:56:17 |
5 Mar 2024 |
| kubukoz changed their profile picture. | 13:32:55 |
| zetashift changed their profile picture. | 16:17:37 |
6 Mar 2024 |
| davidf joined the room. | 14:58:45 |
7 Mar 2024 |
| yummy_inhalant joined the room. | 19:17:24 |
10 Mar 2024 |
Tomasz Godzik | Any opinions about https://github.com/scalameta/munit/issues/745 ? It seems scala-diff might be useful in a bunch of places, so might be worth having it as a separate library | 10:28:09 |
olafurpg | It’s fine to create a separate artifact but I would keep it in the same repo/build. A testing library needs to be self contained because it’s often the first artifact that needs to be bumped for new compiler versions. | 12:13:59 |
| olafurpg changed their profile picture. | 12:14:00 |
13 Mar 2024 |
| .philluminati joined the room. | 09:12:06 |
14 Mar 2024 |
| d.delphine joined the room. | 18:52:06 |
| m.hughes changed their profile picture. | 23:35:17 |
17 Mar 2024 |
| ukrustacean joined the room. | 13:08:26 |
| .pityka joined the room. | 18:19:02 |
18 Mar 2024 |
| david_f_goodenough joined the room. | 22:24:56 |
19 Mar 2024 |
| f40a3204 joined the room. | 09:49:47 |
| kostask3734 joined the room. | 19:19:37 |
20 Mar 2024 |
| shrimphands joined the room. | 17:10:24 |
| rpiaggio joined the room. | 19:40:47 |
22 Mar 2024 |
| mkharytonau joined the room. | 12:28:23 |