Static linking: update to new Ocsigen Server interface #823
Job | Run time |
---|---|
1m 34s | |
1m 24s | |
4m 30s | |
1m 26s | |
5m 10s | |
5m 10s | |
4m 28s | |
4m 31s | |
4m 36s | |
5m 1s | |
4m 26s | |
4m 49s | |
4m 24s | |
4m 17s | |
55m 46s |
Job | Run time |
---|---|
1m 34s | |
1m 24s | |
4m 30s | |
1m 26s | |
5m 10s | |
5m 10s | |
4m 28s | |
4m 31s | |
4m 36s | |
5m 1s | |
4m 26s | |
4m 49s | |
4m 24s | |
4m 17s | |
55m 46s |