Newest at the top
2024-05-01 18:29:36 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-01 18:29:07 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-01 18:28:47 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) |
2024-05-01 18:28:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-01 18:26:38 +0200 | fireking04 | (~karl@112.206.68.79) (Remote host closed the connection) |
2024-05-01 18:25:11 +0200 | arkeet | (~arkeet@moriya.ca) |
2024-05-01 18:24:55 +0200 | arkeet | (~arkeet@moriya.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-01 18:21:41 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds) |
2024-05-01 18:21:38 +0200 | fireking04 | (~karl@112.206.68.79) |
2024-05-01 18:21:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-01 18:21:14 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-01 18:20:53 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) |
2024-05-01 18:20:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-01 18:20:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-01 18:20:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: Textual IRC Client: www.textualapp.com) |
2024-05-01 18:17:45 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-05-01 18:15:48 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
2024-05-01 18:15:21 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
2024-05-01 18:14:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-01 18:14:36 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-01 18:07:23 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) |
2024-05-01 18:06:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-05-01 17:55:45 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 245 seconds) |
2024-05-01 17:52:48 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Quit: https://zer0bitz.dy.fi) |
2024-05-01 17:50:22 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-01 17:49:51 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 259 seconds) |
2024-05-01 17:49:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-01 17:47:33 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-05-01 17:47:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-01 17:46:51 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-01 17:45:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-01 17:45:15 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-05-01 17:43:07 +0200 | <shapr> | yup, I think it's https://github.com/haskell/hackage-server/blob/master/exes/BuildClient.hs#L594 |
2024-05-01 17:42:25 +0200 | <shapr> | aha, I think I found it |
2024-05-01 17:40:49 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) |
2024-05-01 17:40:37 +0200 | <shapr> | does anyone know how hackage calculates test coverage % ? |
2024-05-01 17:40:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
2024-05-01 17:36:14 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-01 17:35:57 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-01 17:30:32 +0200 | billchenchina | (~billchenc@103.118.42.229) (Client Quit) |
2024-05-01 17:30:00 +0200 | billchenchina | (~billchenc@103.118.42.229) |
2024-05-01 17:29:28 +0200 | raym | (~ray@user/raym) |
2024-05-01 17:29:05 +0200 | billchenchina | (~billchenc@103.118.42.229) (Max SendQ exceeded) |
2024-05-01 17:28:30 +0200 | billchenchina | (~billchenc@103.118.42.229) |
2024-05-01 17:27:49 +0200 | billchenchina | (~billchenc@103.118.42.229) (Max SendQ exceeded) |
2024-05-01 17:26:57 +0200 | billchenchina | (~billchenc@103.118.42.229) |
2024-05-01 17:26:27 +0200 | billchenchina | (~billchenc@103.118.42.229) (Max SendQ exceeded) |
2024-05-01 17:25:34 +0200 | billchenchina | (~billchenc@103.118.42.229) |
2024-05-01 17:24:57 +0200 | billchenchina | (~billchenc@103.118.42.229) (Max SendQ exceeded) |
2024-05-01 17:24:11 +0200 | billchenchina | (~billchenc@103.118.42.229) |