Fix double promotion warnings reported by Clang #1333
Job | Run time |
---|---|
17m 2s | |
13m 45s | |
11m 8s | |
11m 56s | |
5m 32s | |
3m 41s | |
4m 47s | |
4m 2s | |
4m 27s | |
4m 36s | |
1h 20m 56s |
Job | Run time |
---|---|
17m 2s | |
13m 45s | |
11m 8s | |
11m 56s | |
5m 32s | |
3m 41s | |
4m 47s | |
4m 2s | |
4m 27s | |
4m 36s | |
1h 20m 56s |