Fix -Wdouble-promotion issues (#436) #1011
Job | Run time |
---|---|
8m 56s | |
12m 33s | |
11m 0s | |
10m 25s | |
1m 42s | |
1m 24s | |
2m 16s | |
1m 24s | |
2m 43s | |
2m 25s | |
2m 38s | |
1m 55s | |
2m 43s | |
1m 55s | |
3m 8s | |
1m 47s | |
2m 0s | |
2m 29s | |
2m 38s | |
2m 7s | |
5m 3s | |
40s | |
3m 44s | |
51s | |
5m 29s | |
8m 55s | |
9m 0s | |
7m 48s | |
1m 24s | |
1m 4s | |
1m 14s | |
1m 6s | |
1m 53s | |
1m 37s | |
1m 53s | |
1m 40s | |
1m 49s | |
1m 43s | |
2m 10s | |
2m 20s | |
2h 19m 31s |