Newest at the top
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) |
2024-05-01 17:22:22 +0200 | billchenchina | (~billchenc@103.118.42.229) (Max SendQ exceeded) |
2024-05-01 17:21:28 +0200 | billchenchina | (~billchenc@103.118.42.229) |
2024-05-01 17:20:36 +0200 | mzschr | (~mzschr@2a07-a880-4603-1035-18b5-1e9f-f698-63a6.pool6.ovpn.com) (Quit: Client closed) |
2024-05-01 17:20:21 +0200 | billchenchina | (~billchenc@103.118.42.229) (Max SendQ exceeded) |
2024-05-01 17:19:44 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) |
2024-05-01 17:19:31 +0200 | billchenchina | (~billchenc@103.118.42.229) |
2024-05-01 17:19:03 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-01 17:17:49 +0200 | billchenchina | (~billchenc@103.118.42.229) (Max SendQ exceeded) |
2024-05-01 17:16:58 +0200 | billchenchina | (~billchenc@103.118.42.229) |
2024-05-01 17:14:35 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-01 17:11:23 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) |
2024-05-01 17:10:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-05-01 17:09:04 +0200 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 268 seconds) |
2024-05-01 16:51:08 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
2024-05-01 16:45:33 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-01 16:45:16 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-01 16:43:51 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) |
2024-05-01 16:43:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
2024-05-01 16:32:39 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-01 16:29:14 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
2024-05-01 16:25:23 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
2024-05-01 16:25:10 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
2024-05-01 16:24:04 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-01 16:23:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-01 16:21:53 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-05-01 16:21:53 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
2024-05-01 16:20:07 +0200 | Teacup | (~teacup@user/teacup) |
2024-05-01 16:19:49 +0200 | Teacup | (~teacup@user/teacup) () |
2024-05-01 16:18:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-01 16:18:35 +0200 | euleritian | (~euleritia@dynamic-176-001-013-250.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-01 16:18:29 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 240 seconds) |
2024-05-01 16:10:22 +0200 | fireking04 | (~karl@175.176.41.51) (Read error: Connection reset by peer) |