cohttp-{lwt,eio}: server: return connection header #1447
Job | Run time |
---|---|
5m 41s | |
4m 19s | |
4m 4s | |
3m 17s | |
7m 42s | |
5m 9s | |
4m 36s | |
4m 29s | |
11m 0s | |
9m 15s | |
8m 27s | |
13m 10s | |
4m 36s | |
17m 12s | |
7m 21s | |
10m 48s | |
2h 1m 6s |
Job | Run time |
---|---|
5m 41s | |
4m 19s | |
4m 4s | |
3m 17s | |
7m 42s | |
5m 9s | |
4m 36s | |
4m 29s | |
11m 0s | |
9m 15s | |
8m 27s | |
13m 10s | |
4m 36s | |
17m 12s | |
7m 21s | |
10m 48s | |
2h 1m 6s |