Merge pull request #876 from cyrilgandon/fix-doubling-precision #3189
Job | Run time |
---|---|
2m 9s | |
2m 1s | |
2m 36s | |
3m 23s | |
7m 5s | |
7m 25s | |
4m 44s | |
4m 38s | |
5m 22s | |
10m 29s | |
3m 45s | |
53m 37s |
Job | Run time |
---|---|
2m 9s | |
2m 1s | |
2m 36s | |
3m 23s | |
7m 5s | |
7m 25s | |
4m 44s | |
4m 38s | |
5m 22s | |
10m 29s | |
3m 45s | |
53m 37s |